The denotational semantics of programming languages (1976)

by R D Tennent
Venue:Communications of the ACM