Kim B. Bruce Jonathan Crabtree Thomas P. Murtagh Robert van Gent Allyn Dimock Robert Muller Safe and Decidable Type Checking in an Object-Oriented Language. 29-46 1993 OOPSLA db/conf/oopsla/oopsla93.html#BruceCMGDM93