Design and validation of computer protocols - Holzmann, Gerard J.; American Telephone and Telegraph Company (Englewood Cliffs, N.J. : Prentice Hall, 1991)
At head of title: AT & T.
Includes bibliographical references and indexes.
Keywords: Computer network protocols -- Design