The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology

@inproceedings{Berry-Penedo:ICSE79,
  author    = {Daniel M. Berry and
               Maria Heloisa (Lolo) Penedo},
  title     = {The Use of a Module Interconnection Specification Capability in the {SARA} System Design Methodology},
  booktitle = {ICSE},
  pages     = {294--307},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}