A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems. - Norio Shiratori; J. Gohara; Shoichi Noguchi (ICSE, 1982)