Theoretical Aspects of Object-Oriented ProgrammingTypes, Semantics, and Language Design558 pages20 hours of reading19944.4Track