Continuations a mathematical semantics for handling full jumps - Strachey, Christopher; Wadsworth, Christopher P. (Oxford Univ. Computing Laboratory, 1974)