Abstract continuations: A mathematical semantics for handling full functional jumps (1988)

by M Felleisen, M Wand, D P Friedman, B F Duba
Venue:In: In Conference on LISP and Functional Programming, Snowbird