Madsen, O. L.; Magnusson, B.; Møller-Pedersen, B. Strong Typing of Object-Oriented Languages Revisited. DPB 1990, 19.