Simon L. Peyton Jones Alastair Reid Fergus Henderson C. A. R. Hoare Simon Marlow A Semantics for Imprecise Exceptions. 25-36 1999 PLDI http://doi.acm.org/10.1145/301618.301637 db/conf/pldi/pldi99.html#JonesRHHM99