Abstract continuations: A mathematical semantics for handling full jumps. Pages 52–62 of: Lisp and functional programming (1988)

by Matthias Felleisen, Mitchell Wand, Daniel P Friedman, Bruce F Duba