Damian, D. and Danvy, O. (2001) “A Simple CPS Transformation of Control-Flow Information”, BRICS Report Series, 8(55). doi: 10.7146/brics.v8i55.21716.