Palsberg and Schwartzback (1994)

Palsberg J. and Schwartzback M.I. (1994)

Object-oriented type systems

Wiley