M. Biernacka, D. Biernacki, and O. Danvy, “An Operational Foundation for Delimited Continuations in the CPS Hierarchy”, BRICS, vol. 11, no. 29, Dec. 2004.