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