Relaxed MultiJava: balancing extensibility and modular typechecking. - Todd D. Millstein; Mark Reay; Craig Chambers (OOPSLA, 2003)