The mathematical semantics of ALGOL 60 - Mosses, Peter D. 1948- (Oxford Univ. Computing Laboratory, 1974)