Danvy, O.; Nielsen, L. R. CPS Transformation of Beta-Redexes. BRICS 2004, 11.