H. Christiansen and N. D. Jones, “Mathematical Foundation of A Semantic Directed Compiler Generator”, DPB, vol. 11, no. 148, Jul. 1982.