Michel Bidoit Brigitte Biebow Marie-Claude Gaudel Christian Gresse Gérard D. Guiho Exception Handling: Formal Specification and Systematic Program Construction. 242-252 1985 11 IEEE Trans. Software Eng. 3 db/journals/tse/tse11.html#BidoitBGGG85 http://doi.ieeecomputersociety.org/10.1109/TSE.1985.232207