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