Palsberg, J. and Schwartzbach, M. I. (1991) “Three Discussions on Object-Oriented Typing”, DAIMI Report Series, 20(362). doi: 10.7146/dpb.v20i362.6593.