Madsen, Ole Lehrmann, et al. “Strong Typing of Object-Oriented Languages Revisited”. DAIMI Report Series, vol. 19, no. 326, July 1990, doi:10.7146/dpb.v19i326.6716.