Madsen, O.L., Magnusson, B. and Møller-Pedersen, B. 1990. Strong typing of object-oriented languages revisited. DAIMI Report Series. 19, 326 (Jul. 1990). DOI:https://doi.org/10.7146/dpb.v19i326.6716.