Object-Oriented Type Systems (1994)

by J Palsberg, M I Schwartzbach