Mathematical semantics and compiler generation - Mosses, Peter (1975)