Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations.

Michel Bidoit Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations. 95-108 1984 conf/icalp/1984 ICALP db/conf/icalp/icalp84.html#Bidoit84 http://dx.doi.org/10.1007/3-540-13345-3_8