A Validation Method for Communication Protocols Using Context-Free Language Theory. - Kaoru Kurosawa; Yoshiki Kuwabara; Takashi Shigeno (Syst. Comput. Jpn., 1988)