TY  - BOOK
AU  - Togashi A
TI  - Formal description techniques and protocol specification: Testing and verification
SN  - 0412820609
AV  - T174461997 0031260
PY  - 1997///
CY  - London 
PB  - Chapman and Hall 
ER  -