Madsen, O. L., B. Magnusson, and B. Møller-Pedersen. “Strong Typing of Object-Oriented Languages Revisited”. DAIMI Report Series, vol. 19, no. 326, July 1990, doi:10.7146/dpb.v19i326.6716.