Derek Androws <br/><br/>
Practical Formal Methods 

 - 5th 
 - London  Mcgraw- Hill  1991 
 - 450 
<br/><br/><label>Dewey Class. No.: </label>005.1