Dan for th, Scott tomlinson, Chris <br/><br/>
Type Theories and Object-Oriented Programmimg 

 - 29-72 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Data Abstraction<br/>Inheritance<br/>Polymorphism