Christiansen, H. and Jones, N.D. 1982. Mathematical Foundation of A Semantic Directed Compiler Generator. DAIMI Report Series. 11, 148 (Jul. 1982). DOI:https://doi.org/10.7146/dpb.v11i148.7422.