Danvy, O.; Nielsen, L. R. CPS Transformation of Beta-Redexes. BRICS 2000, 7.