(1)
Danvy, O.; Malmkjær, K. On the Idempotence of the CPS Transformation. BRICS 1996, 3.