Cliff B. Jones <br/><br/>
Systematic software development using Vdm 

 - 
 -  Prentice-Hall  1986 
 - 300 
<br/><br/>  
<br/><br/><label>ISBN: </label>0-13-880717-5 
<br/><br/><label>Dewey Class. No.: </label>004.415