Biernacka, M.; Biernacki, D.; Danvy, O. An Operational Foundation for Delimited Continuations in the CPS Hierarchy. BRICS 2005, 12.