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