Spivey, J. M. <br/><br/>
The Z notation : a reference manual  [Books]. 
J. M. Spivey. 
 - New York  Prentice Hall  1989 
 - Pages: 155 
<br/><br/><label>ISBN: </label>013983768X  0.00 
<br/><br/><label>Subjects--Personal Names: </label><br/>Z (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>QA/76.73.Z2  / SPI