Spivey, J.M. <br/><br/>
Understanding Z :  A specification language and its formal semantics / 
J.M. Spivey. 
 - Cambridge :  Cambridge University Press,  1988. 
 - 131 p. 
 - Cambridge tracts in theoretical computer science  v. 3 .
<br/><br/>Includes index 
<br/><br/><label>ISBN: </label>0-521-33429-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer program languages<br/>Z (Computer program language)