J. H. Andrews, Process-Algebraic Foundations of Aspect-Oriented Programming, Reflection, pp.187-209, 2001.
DOI : 10.1007/3-540-45429-2_14

M. [. Bergmans and . Aksit, Composing crosscutting concerns using composition filters, Communications of the ACM, vol.44, issue.10, pp.51-57, 2001.
DOI : 10.1145/383845.383857

P. [. Colcombet and . Fradet, Enforcing trace properties by program transformation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, pp.54-66, 2000.
DOI : 10.1145/325694.325703
URL : https://hal.archives-ouvertes.fr/inria-00000937

M. [. Cohen, K. Feather, S. S. Narayanaswamy, and . Fickas, Automatic monitoring of software requirements, Proceedings of the 19th international conference on Software engineering , ICSE '97, pp.602-603, 1997.
DOI : 10.1145/253228.253493

]. H. Com91 and . Comon, Disunification: A survey, Computational Logic -Essays in Honor of Alan Robinson, pp.322-359, 1991.

P. [. Douence and M. Fradet, A Framework for the Detection and Resolution of Aspect Interactions, Proceedings of the ACM SIG- PLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), 2002.
DOI : 10.1007/3-540-45821-2_11
URL : https://hal.archives-ouvertes.fr/inria-00000950

O. [. Douence and M. Motelet, A formal definition of crosscuts, Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (Reflec- tion'01), volume 2192 of LNCS, 2001.
DOI : 10.1007/3-540-45429-2_13

]. P. God97 and . Godefroid, Model checking for programming languages using VeriSoft, Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.174-186, 1997.

]. R. Läm02 and . Lämmel, A semantics for method-call interception, 1st Int. Conf. on Aspect-Oriented Software Development (AOSD'02), 2002.

H. [. Nielson and . Nielson, Semantics with Applications -A Formal Introduction, 1992.

F. B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000.
DOI : 10.1145/353323.353382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1853

]. K. Vol99 and . Volder, Aspect-oriented logic meta programming, Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, pp.250-272, 1999.

M. Wand, G. Kiczales, and C. Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, FOOL 9, pp.67-88, 2002.
DOI : 10.1145/1018203.1018208