Christiansen, H.; Jones, N. D. Mathematical Foundation of A Semantic Directed Compiler Generator. DPB 1982, 11.