"Strong Typing of Object-Oriented Languages Revisited."

Ole Lehrmann Madsen, Boris Magnusson, Birger Møller-Pedersen (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics