Palsberg and Schwartzback (1994)
Palsberg J. and Schwartzback M.I. (1994)
Object-oriented type systems
Wiley