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