N. D. Jones, “Compiler Generation from Denotational Semantics”, DPB, vol. 9, no. 113, Mar. 1980.