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

by Christopher Strachey, Christopher P Wadsworth