Christiansen, Henning, and Neil D. Jones. “Mathematical Foundation of A Semantic Directed Compiler Generator”. DAIMI Report Series 11, no. 148 (July 1, 1982). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7422.