Object-oriented type systems /
Palsberg, J.
Schwartzbach, M. I.
Chichester : Wiley,
c1994.