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.