O. Danvy and K. Malmkjær, “On the Idempotence of the CPS Transformation”, BRICS, vol. 3, no. 14, May 1996.