Jonathan Bowen <br/><br/>
Formal Specification & Documentation Using Z: A Case Study Approach 

 -   International Thomson Computer Press  ©1996 
<br/><br/><label>ISBN: </label>9781850322306  95.85 
<br/><br/><label>Dewey Class. No.: </label>005.12 BOW