No. 51 (1999): RS-51 Formalizing Implementation Strategies for First-Class Continuations