Christiansen, Henning, and Neil D. Jones. 1982. “Mathematical Foundation of A Semantic Directed Compiler Generator”. DAIMI Report Series 11 (148). https://doi.org/10.7146/dpb.v11i148.7422.