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

 -   Prentice Hall International (Uk) Ltd.  ©1991 
<br/><br/><label>ISBN: </label>9780134787022  50.95 
<br/><br/><label>Dewey Class. No.: </label>005.12 POT