O. Danvy, “Formalizing Implementation Strategies for First-Class Continuations”, BRICS, vol. 6, no. 51, Dec. 1999.