The mathematical semantics of Algol 60 - Mosses, Peter (Technical monograph (Oxford University Computing Laboratory. Programming Research Group), 1974)