M.J.C.,The Denotational Description of Programming Languages (1979)

by Gordon