Danvy, O. Formalizing Implementation Strategies for First-Class Continuations. BRICS 1999, 6.