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