Design and validation of computer protocols - Holzmann, Gerard J (New Jersy, 1991)
Includes index.
Keywords: Computer network protocols -- Design; Internet protocols -- Design tools