Michael J. C. Gordon

• The Denotational Description of Programming Languages
• The denotational description of programming languages