(1)
Palsberg, J.; Schwartzbach, M. I. A Unified Type System for Object-Oriented Programming. DPB 1990, 19.