Ben Potter, Jane Sinclair & David Till - <br/><br/>
An Introduction To Formal Specification And Z 

 - 2nd  
 -   Prentice Hall Europe  ©1996 
<br/><br/><label>ISBN: </label>9780132422079  66.5 
<br/><br/><label>Dewey Class. No.: </label>005.12 POT.2