D. Damian and O. Danvy, “A Simple CPS Transformation of Control-Flow Information”, BRICS, vol. 8, no. 55, Dec. 2001.