The denotational semantics of programming languages. (1976)

by R D Tennent
Venue:Communicatin of the ACM,