Book

A theory of programming language semantics

by Robert Milne, Robert Milne, Christopher Strachey