Danvy, Olivier, and Lasse R. Nielsen. 2001. “A First-Order One-Pass CPS Transformation”. BRICS Report Series 8 (49). https://doi.org/10.7146/brics.v8i49.21709.