Andrew Harry <br/><br/>
Formal Methods Fact File: Vdm And Z 

 -   John Wiley & Sons  ©1996 
<br/><br/><label>ISBN: </label>9780471958574  111.45 
<br/><br/><label>Dewey Class. No.: </label>005.12 HAR