Biernacka, M.; Biernacki, D.; Danvy, O. An Operational Foundation for Delimited Continuations. BRICS 2003, 10.