Rachid Sijelmassi Richard J. Linn Jr. Guidelines for Using Estelle to Specify OSI Services and Protocols. 343-362 1991 23 Computer Networks and ISDN Systems 5 db/journals/cn/cn23.html#SijelmassiL91