O. Danvy og L. R. Nielsen, “A First-Order One-Pass CPS Transformation”, BRICS, bd. 8, nr. 49, dec. 2001.