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