O. Danvy and L. R. Nielsen, “A First-Order One-Pass CPS Transformation”, BRICS, vol. 8, no. 49, Dec. 2001.