The Denotational (1976)

by R D Tennent
Venue:Semantics of Programming Languages CACM Vol.19