John Corwin David F. Bacon David Grove Chet Murthy MJ: a rational module system for Java and its applications. 241-254 2003 conf/oopsla/2003p OOPSLA http://doi.acm.org/10.1145/949305.949326 db/conf/oopsla/oopsla2003p.html#CorwinBGM03