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