1. Interprocedural Data Flow Analysis;Allen,1974
2. G. Ardourel and M. Huchard. AGATE, Access Graph bAsed Tools for handling Encapsulation. In Proceedings of the 16th IEEE International Conference Automated Software Engineering (ASE) 26-29 Nov. 2001 San Diego California, pages 311-314.
3. G. Ardourel and M. Huchard. Synthese et modelisation des acces dans les langages a classes: vers une formalisation des systemes. In Actes de la conference langages et modeles a objets 2001 (LMO2001), Le Croisic, L'OBJET.,
4. Access graphs: Another view on static access control for a better understanding and use;Ardourel;Journal of Object Technology,2002
5. The Java Programming Language Second Edition;Arnold,1998