O. Danvy and L. R. Nielsen, “On One-Pass CPS Transformations”, BRICS, vol. 9, no. 3, Jan. 2002.