Documentation for Safety Critical Software

@inproceedings{Courtois-Parnas:ICSE93,
  author    = {Pierre{-}Jacques Courtois and
               David Lorge Parnas},
  title     = {Documentation for Safety Critical Software},
  booktitle = {ICSE},
  pages     = {315--323},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1993},
}