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