M.J.C. Gordon

• The Denotational Description of Programming Languages