Wordsworth, J. B. <br/><br/>
Software development with Z : a practical approach to formal software engineering/ 
J.B. Wordsworth 
 -  Addison-Wesley  1992. 
<br/><br/><label>ISBN: </label>0201627574 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software -- Development<br/>Z (Computer program language)