"Semantics of Exceptions."

K. Rustan M. Leino, Jan L. A. van de Snepscheut (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics