Jacky, Jonathan <br/><br/>
The way of Z practical programming with formal methods 

 - Cambridge University Press, Cambridge  1997 
 - xviii,350 
<br/><br/><label>ISBN: </label>0-521-55976-6 
<br/><br/><label>Dewey Class. No.: </label>001.6424 Jac