SPADES - A Specification and Design System and Its Graphical Interface

@inproceedings{Ludewig-al:ICSE85,
  author    = {Jochen Ludewig and
               Martin Glinz and
               Hansj{\"{o}}rg Huser and
               G. Matheis and
               Hans Matheis and
               M. F. Schmidt},
  title     = {{SPADES} - A Specification and Design System and Its Graphical Interface},
  booktitle = {ICSE},
  pages     = {83--91},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
}