O. Danvy, K. Millikin, and L. R. Nielsen, “On One-Pass CPS Transformations”, BRICS, vol. 14, no. 6, Mar. 2007.