FOUNDATIONS OF OBJECT ORIENTED LANGUAGES: TYPES AND SEMANTICS - BRUCE (PHI, 2004)
ALLIED