Rok Strnisa Peter Sewell Matthew J. Parkinson The java module system: core design and semantic definition. 499-514 2007 conf/oopsla/2007 OOPSLA http://doi.acm.org/10.1145/1297027.1297064 db/conf/oopsla/oopsla2007.html#StrniaaSP07