Jacky, Jonathan <br/><br/>
The way of Z :  practical programming with formal methods / 
Jonathan Jacky 
 - Cambridge ;  New York, NY, USA :  Cambridge University Press,  1997 
 - xviii, 350 p. :  ill. ;  25 cm. 
<br/><br/>Includes bibliographical references (p. [328]-339) and index 
<br/><br/><label>ISBN: </label>9780521559768 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)<br/>Formal methods (Computer science)