O. Danvy, “Formalizing Implementation Strategies for First-Class Continuations”, BRICS, bd. 6, nr. 51, dec. 1999.