Exception Handling: Formal Specification and Systematic Program Construction.

Michel Bidoit Brigitte Biebow Marie-Claude Gaudel Christian Gresse Gérard D. Guiho Exception Handling: Formal Specification and Systematic Program Construction. 18-29 1984 ICSE db/conf/icse/icse84.html#BidoitBGGG84