Danvy, O., Dzafic, B., & Pfenning, F. (1999). On proving syntactic properties of CPS programs. BRICS Report Series, 6(23). https://doi.org/10.7146/brics.v6i23.20092