A Systematic Approach to Static Access Control. - Pottier, François; Skalka, Christian; Smith, Scott (ACM Transactions on Programming Languages & Systems, 2005)