Jones, N. D.; Christiansen, H. Control Flow Treatment in a Simple: Semantics-Directed Compiler Generator. DPB 1981, 10.