As further reading I recommend
[CW85] and [Pierce93].
As another source of material
and exercises consult [Palsberg94].
[BG93] contains a number of relevant papers.
An exhaustive overview of the semantics of object systems,
in both first order and second order calculi, is further
given in [ObjectCalculus].
