The Denotational Description of Programming Languages: An Introduction (1979)

by M J C Gordon