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