Cleanroom Software Engineering for Zero-Defect Software

@inproceedings{Linger:ICSE93,
  author    = {Richard C. Linger},
  title     = {Cleanroom Software Engineering for {Zero-Defect} Software},
  booktitle = {ICSE},
  pages     = {2--13},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1993},
}