Duke, Roger <br/><br/>
Formal Object Oriented Specification Using Object-Z 

 - Great Britain  Macmillan  2000 
<br/><br/><label>ISBN: </label>0-333-80123-7 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Object-Oriented Programming (OOP)
<br/><br/><label>Dewey Class. No.: </label>005.117  / DUK