TY  - BOOK
AU  - Holzmann,Gerard J.
TI  - Design and validation of computer protocols / 
T2  - Prentice Hall Software Series 
SN  - 0135398347
PY  - 1991///
CY  - Englewood Cliffs, N.J. : 
PB  - Prentice-Hall, 
KW  - COMPUTER NETWORKS
KW  - COMPUTER PROTOCOLS
ER  -