Spivey, J. M. <br/><br/>
Understanding Z :  a specification language and its formal semantics / 
J.M. Spivey 
 - Cambridge [Cambridgeshire] ;  New York :  Cambridge University Press,  2008 
 - viii, 131 p. ;  26 cm. 
 - Cambridge tracts in theoretical computer science ;  3 .
 - Cambridge tracts in theoretical computer science ;  3 .
<br/><br/>Includes bibliographical references (p. [119]-122) and index 
<br/><br/><label>ISBN: </label>9780521054140 (pbk.) 0521054141 (pbk.) 0521334292 (hbk.) 9780521334297 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)<br/>Programming languages (Electronic computers)--Semantics