Jones, Neil D. “Compiler Generation from Denotational Semantics”. DAIMI Report Series 9, no. 113 (March 1, 1980). Accessed December 23, 2024. https://tidsskrift.dk/daimipb/article/view/6531.