Jones, N. D. Compiler Generation from Denotational Semantics. DPB 1980, 9.