The formal semantics of computer languages and their implementations (1974)

by R E Milne