A Theory of Programming Language Semantics (1977)

by R Milne, C Strachey