Spivey, J.M. <br/><br/>
Z notation  a reference manual. 
by J. M. Spivey. 
 - New York  Prentice Hall  1989 
 - Prentice Hall international series in computer science. .
<br/><br/><label>ISBN: </label>013983768x 
<br/><br/><label>Dewey Class. No.: </label>0011.6424  / N8912