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

by Matthias Felleisen, Mitchell Wand, Daniel P Friedman, Bruce F Duba
Venue:In Proceedings of the 1988 ACM conference on Lisp and functional programming, 52–62