Continuations ,a mathematical semantics for handling full jumps - Strachey, Christopher (1974)