BIERNACKA, M.; BIERNACKI, D.; DANVY, O. An Operational Foundation for Delimited Continuations in the CPS Hierarchy. BRICS Report Series, v. 11, n. 29, 11 Dec. 2004.