Danvy, O., & Nielsen, L. R. (2001). A First-Order One-Pass CPS Transformation. BRICS Report Series, 8(49). https://doi.org/10.7146/brics.v8i49.21709