Foundation Of Object-Orented Languages Types & Semantics - K. B. Bruce (Prentice Hall New York, 2004)