O. L. Madsen, B. Magnusson, and B. Møller-Pedersen, “Strong typing of object-oriented languages revisited”, DPB, vol. 19, no. 326, Jul. 1990.