On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures

@inproceedings{Gouda-Manning:ICSE76,
  author    = {Mohamed G. Gouda and
               Eric G. Manning},
  title     = {On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures},
  booktitle = {ICSE},
  pages     = {256--262},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}