O. Danvy og L. R. Nielsen, “CPS Transformation of Beta-Redexes”, BRICS, bd. 7, nr. 35, jun. 2000.