Spivey, J.M <br/><br/>
Understanding Z :  a specification language and its formal semantics / 
J.M Spivey.  
 - New York :  Cambridge University Press,   c1988. 
 - vii, 131 p. ;  25 cm. 
<br/><br/>Includes references and index.  
<br/><br/><label>ISBN: </label>9780521054140 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language).
<br/><br/><label>Dewey Class. No.: </label>005.133  / SPI