O. Danvy and L. R. Nielsen, “CPS Transformation of Beta-Redexes”, BRICS, vol. 11, no. 39, Dec. 2004.