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