Ayal Zaks Vitaly Feldman Nava Aizikowitz Sealed calls in Java packages. 83-92 2000 OOPSLA http://doi.acm.org/10.1145/353171.353177 db/conf/oopsla/oopsla2000.html#ZaksFA00