Spivey, J.M. <br/><br/>
Understanding Z : a specification language and its formal semantics  [Books]. 

 - Cambridge  Cambridge University Press  1988 
 - Pages: 131 
<br/><br/><label>ISBN: </label>0521334292  0.00 
<br/><br/><label>Subjects--Personal Names: </label><br/>Programming languages (Electronic computers) -- Semantics.<br/>Z (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>QA/76.73.Z2  / SPI