BRUCE FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES: TYPES AND SEMANTICS - PHI 2015 - P12751 . ISBN: 9788120324565