The Handbook of Programming Languages (HPL): Object Oriented Programming Languages