An Exception Handling Mechanism for SR. - Daniel T. Huang; Ronald A. Olsson (Comput. Lang., 1990)

Axiomatic Semantics for "Escape" Statements. - Ronald A. Olsson; Daniel T. Huang (Inf. Process. Lett., 1991)