MJ: A Rational Module System for Java - And Its Applications; John Corwin; David F. Bacon; David Grove; Chet Murthy; The Pennsylvania State University CiteSeerX Archives (http://pag.lcs.mit.edu/reading-group/corwin03mj.pdf)