M. Biernacka, D. Biernacki, og O. Danvy, “An Operational Foundation for Delimited Continuations”, BRICS, bd. 10, nr. 41, dec. 2003.