Jones, N. D. (1980) “Compiler Generation from Denotational Semantics”, DAIMI Report Series, 9(113). doi: 10.7146/dpb.v9i113.6531.