The denotational description of programming languages (1979)

by M J C Gordon