Pierre-Yves Schobbens Exceptions for Algebraic Specifications: On the Meaning of "but". 73-111 1993 20 Sci. Comput. Program. 1-2 db/journals/scp/scp20.html#Schobbens93