A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems

@inproceedings{Shiratori-al:ICSE82,
  author    = {Norio Shiratori and
               J. Gohara and
               Shoichi Noguchi},
  title     = {A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems},
  booktitle = {ICSE},
  pages     = {403--413},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}