Use of State Diagrams to Engineer Communications Software

@inproceedings{Chung-Gaiman:ICSE78,
  author    = {Paul Chung and
               Berry Gaiman},
  title     = {Use of State Diagrams to Engineer Communications Software},
  booktitle = {ICSE},
  pages     = {215--221},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}