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 .
 - Prentice-Hall international series in computer science. .
<br/><br/> Includes index. 
<br/><br/>
<br/><br/><label>ISBN: </label>0139484728 (pbk. : alk. paper) 
<br/><br/><label>LCCN: </label>96004347 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>005.1/2