Wordsworth, J. B. <br/><br/>
Software development with Z:  a practical approach to formal methods in software engineering / 
J. B. Wordsworth. 
 - Reading, Mass.:  Addison-Wesley,  1992. 
 - 334 p. ;  24 cm. 
<br/><br/>p. 321-324 
<br/><br/><label>ISBN: </label>0201627574 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language).<br/>Computer software--Development.