Jones, N. D. and Christiansen, H. (1981) “Control Flow Treatment in a Simple: Semantics-Directed Compiler Generator”, DAIMI Report Series, 10(137). doi: 10.7146/dpb.v10i137.7411.