Continuations: A mathematical semantics for handling full jumps (2000)

by Christopher Strachey, Christopher Wadsworth
Venue:In Higher–Order and Symbolic Computation