Palsberg, J.; Schwartzbach, M. I. Three Discussions on Object-Oriented Typing. DPB 1991, 20.