Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Permissive interfaces. 31-40 2005 conf/sigsoft/2005 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1081706.1081713 db/conf/sigsoft/fse2005.html#HenzingerJM05