Spivey, J.M. <br/><br/>
The Z notation :  a reference manual / 
J.M. Spivey ; based on the work of J.R. Abrial ... [et al.] 
 - 2nd ed. 
 - N.Y. :  Prentice-Hall International (UK),  1992. 
 - xi, 158 p. ;  24 cm. 
 - Prentice-Hall international series in computer science. .
<br/><br/><label>ISBN: </label>0139785299 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>005.11  / SPI