Mitchell, Richard <br/><br/>
Design By Contract, by Example 

 - USA  Addison Wesley  2002 
<br/><br/><label>ISBN: </label>0-201-63460-0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Object Oriented Programming(OOP)
<br/><br/><label>Dewey Class. No.: </label>005.117  / MIT