Biernacka, M., D. Biernacki, and O. Danvy. “An Operational Foundation for Delimited Continuations in the CPS Hierarchy”. BRICS Report Series, vol. 12, no. 11, Mar. 2005, doi:10.7146/brics.v12i11.21877.