Design and validation of computer protocols - Holzmann, Gerard J. (Prentice Hall, 1991)
At head of title: AT & T.