Mizuno, Tàet.al.. Editor <br/><br/>
Formal Description Techniques and Protocol Specification, Testing and Verification Forte X / PSTV XVII ' 97 

 - London  Chapman & Hall  1997 
 - xi,550p. 
<br/><br/><label>ISBN: </label>978-0-412-83050-1