François Pottier Christian Skalka Scott F. Smith A Systematic Approach to Static Access Control. 30-45 2001 conf/esop/2001 ESOP http://dx.doi.org/10.1007/3-540-45309-1_3 db/conf/esop/esop2001.html#PottierSS01