1. Exceptions: a Mathematical Semantics for Handling Full Jumps;Allison,1987
2. A Theory of Programming Language Semantics;Milne,1976
3. The Standard ML Core Language;Milner,1986
4. Continuations: a Mathematical Semantics for Handling Full Jumps;Strachey,1974