A Mathematical Semantics for Handling Full Jumps (1974)

by Christopher Strachey, Christopher P Continuations Wadsworth