Duke, Roger. <br/><br/>
Formal object-oriented specification using object-Z / 
Roger Duke and Gordon Rose. 
 - Basingstoke, Hants. :  Macmillan,  2000. 
 - 229 p. :  ill. 
<br/><br/><label>ISBN: </label>0333801237 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)<br/>Object-oriented programming (Computer science)
<br/><br/><label>Dewey Class. No.: </label>005.117 DUK 2000