N. D. Jones and H. Christiansen, “Control Flow Treatment in a Simple: Semantics-Directed Compiler Generator”, DPB, vol. 10, no. 137, Sep. 1981.