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