Exception Handling: Formal Specification and Systematic Program Construction

@inproceedings{Bidoit-al:ICSE84,
  author    = {Michel Bidoit and
               Brigitte Biebow and
               Marie{-}Claude Gaudel and
               Christian Gresse and
               G{\'{e}}rard D. Guiho},
  title     = {Exception Handling: Formal Specification and Systematic Program Construction},
  booktitle = {ICSE},
  pages     = {18--29},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}