Algebraic Specification of Synchronisation and Errors: A Telephonic Example. - Brigitte Biebow; Jacques Hagelstein (TAPSOFT, Vol.2, 1985)

Exception Handling: Formal Specification and Systematic Program Construction. - Michel Bidoit; Brigitte Biebow; Marie-Claude Gaudel; Christian Gresse; Gérard D. Guiho (IEEE Trans. Software Eng., 1985)