Woodcock, Jim. <br/><br/>
Using Z :  Specification, Refinement, and Proof / 
Jim Woodcock and Jim Davies. 
 - London ;  New York :  Prentice Hall,  1996. 
 - ix, 386 p. :  ill. ;  24 cm. 
 - Prentice-Hall international series in computer science .
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>0139484728 9780139484728 
<br/><br/><label>LCCN: </label>96004347  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)
<br/><br/><label>LC Class. No.: </label>QA76.73.Z2  / W66 1996 
<br/><br/><label>Dewey Class. No.: </label>005.12  / WOO