Computer Aided Design of Software Systems

@inproceedings{Willis-Jensen:ICSE79,
  author    = {R. R. Willis and
               E. P. Jensen},
  title     = {Computer Aided Design of Software Systems},
  booktitle = {ICSE},
  pages     = {116--125},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}