Requirements Expression and Verification Aid

@inproceedings{Stephens-Tripp:ICSE78,
  author    = {Sharon A. Stephens and
               Leonard L. Tripp},
  title     = {Requirements Expression and Verification Aid},
  booktitle = {ICSE},
  pages     = {101--108},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}