Ivo Van Horebeek Johan Lewi Eddi Bevers Luc Duponcheel Willy Van Puymbroeck An Exception Handling Method for Constructive Algebraic Specifications. 443-458 1988 18 Softw., Pract. Exper. 5 db/journals/spe/spe18.html#HorebeekLBDP88