The formal semantics of computer languages and their implementations - Milne, Robert (Technical monograph (Oxford University Computing Laboratory. Programming Research Group), 1974)