TY  - BOOK
AU  - Holzmann,  Gerard J.
TI  - Design and validation of computer protocols.
U1  - 004.62 H65D R 
ER  -