Capturing More World Knowledge in the Requirements Specification

@inproceedings{Greenspan-al:ICSE82,
  author    = {Sol J. Greenspan and
               John Mylopoulos and
               Alexander Borgida},
  title     = {Capturing More World Knowledge in the Requirements Specification},
  booktitle = {ICSE},
  pages     = {225--235},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}