A Theory of Programming Language Semantics (1976)

by Robert Milne, Christopher Strachey