Bowen, Jonathan <br/><br/>
Formal specification and documentation using Z : a case study approach 

 - London  International Thomson Computer Press  1996 
 - xvi, 302p.  
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781850322306 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods -- Z<br/>Programming language -- Z