A Model for Description of Communication Protocol

@inproceedings{Chiba-al:ICSE82,
  author    = {Kazuhiko Chiba and
               Kazunori Konishi and
               Akira Kurematsu},
  title     = {A Model for Description of Communication Protocol},
  booktitle = {ICSE},
  pages     = {424--428},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}