Danvy, O.; Nielsen, L. R. A First-Order One-Pass CPS Transformation. BRICS 2001, 8.