A Theory of Programming Language Semantics (1976)

by R Milne, C Strachey