Spivey, J. M.  <br/><br/>
Understanding Z :   A Specification Language and its Formal Semantics / 

 - New York:  Cambridge University Press,  1988. 
 - viii, 131p  20.5 x 27.5 cm 
 - Cambridge Tracts in Theoretical Computer Science series .
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>0521334292 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer program language 
<br/><br/><label>Dewey Class. No.: </label>005.133  / SPI-U