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