Palsberg, J. and Schwartzbach, M. I. (1991) “Static Typing for Object-Oriented Programming”, DAIMI Report Series, 20(355). doi: 10.7146/dpb.v20i355.6585.