O. Danvy og L. R. Nielsen, “CPS Transformation of Beta-Redexes”, BRICS, bd. 11, nr. 39, dec. 2004.