Spivey, J.M. <br/><br/>
The Z notation :  a reference manual / 
J. M. Spivey based on the work of J. R.Abrial...et.al. 
 - New York  Prentice-Hall  1989 
 - xi, 155 p. ;  23 cm. 
<br/><br/><label>ISBN: </label>013983768x 
<br/><br/><label>LCCN: </label>88-23174