Biernacka, M., D. Biernacki, and O. Danvy. “An Operational Foundation for Delimited Continuations in the CPS Hierarchy”. BRICS Report Series, Vol. 11, no. 29, Dec. 2004, doi:10.7146/brics.v11i29.21854.