(1)
Biernacka, M.; Biernacki, D.; Danvy, O. An Operational Foundation for Delimited Continuations in the CPS Hierarchy. BRICS 2004, 11.