A Theory of Programming Language Semantics (1976)

by R E Milne, C Strachey