A First Order Theory of Data and Programs (1977)

by K Clark, S Tarnlund
Venue:in Proceedings of the Information Processing Conference, IFIP