Deriving Specifications from Requirements

@inproceedings{Johnson:ICSE88,
  author    = {W. Lewis Johnson},
  title     = {Deriving Specifications from Requirements},
  booktitle = {ICSE},
  pages     = {428--438},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
}