Denotational Description of Programming Languages (1979)

by M J C Gordon