Use of State Diagrams to Engineer Communications Software. - Paul Chung; Berry Gaiman (ICSE, 1978)