Togashi A <br/><br/>
Formal description techniques and protocol specification  Testing and verification 
Atsushi Togashi  
 - London   Chapman and Hall   1997 
 - Vii,550p,ill  Hbk 
<br/><br/><label>ISBN: </label>0412820609 
<br/><br/><label>LC Class. No.: </label>T174461997  / 0031260