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