Jonathan, Jacky., <br/><br/>
The Way of Z:  Practical Programming with Formal Methods 
Jonathan, Jacky 
 - New York:  Cmbridge University Press,  c1997. 
 - xviii, 350 p.:  ill.; 
<br/><br/>This book is having bibliography328-339 from page  
<br/><br/><label>ISBN: </label>0521559766 
<br/><br/><label>Dewey Class. No.: </label>005.12  / JAC/WAY