Spivey, J. M. <br/><br/>
The Z notation :    a reference manual /  
J.M. Spivey ; based on t he work of J.R. Abrial ... [et al.]. 
 - 2nd ed. 
 - New York :    Prentice Hall,    1992. 
 - xi, 158 p. ;    24 cm. 
 - Prentice Hall international series in computer science .
 - Prentice-Hall international series in computer science. .
<br/><br/>  Includes indexes. 
<br/><br/><label>ISBN: </label>0139785299 :     
<br/><br/><label>LCCN: </label>92-006090 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Z (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>005.1/1