Specifications: A Key to Effective Software Development

@inproceedings{Belford-al:ICSE76,
  author    = {P. C. Belford and
               A. F. Bond and
               D. G. Henderson and
               L. S. Sellers},
  title     = {Specifications: A Key to Effective Software Development},
  booktitle = {ICSE},
  pages     = {71--79},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}