William Cook
Brown University
The denotational semantics of programming languages
Communications of the ACM