M. Biernacka, D. Biernacki, and O. Danvy, “An Operational Foundation for Delimited Continuations”, BRICS, vol. 10, no. 41, Dec. 2003.