J. Banâtre, P. Fradet, and Y. Radenac, Principles of Chemical Programming, Proceedings of the 5th International Workshop on Rule-Based Programming, pp.133-147, 2005.
DOI : 10.1016/j.entcs.2004.07.019

J. Banâtre, P. Fradet, and Y. Radenac, Generalised multisets for chemical programming, Mathematical Structures in Computer Science, vol.16, issue.04, pp.557-580, 2006.
DOI : 10.1017/S0960129506005317

F. Cuppens, N. Cuppens-boulahia, and T. Ramard, Availability enforcement by obligations and aspects identification, First International Conference on Availability, Reliability and Security (ARES'06), 2006.
DOI : 10.1109/ARES.2006.36

D. S. Dantas, D. Walker, G. Washburn, and S. Weirich, Poly AML : a Polymorphic Aspect-Oriented Functional Programming Language, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, pp.306-319, 2005.

I. Foster, C. Kesselman, and S. Tuecke, The Anatomy of the Grid: Enabling Scalable Virtual Organizations, International Journal of Supercomputer Applications, vol.15, issue.3, 2001.

E. Gamma, R. Helm, R. Johnso, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, ECOOP 2001 ? Object-Oriented Programming, pp.327-354, 2001.
DOI : 10.1007/3-540-45337-7_18

D. Mentré, D. L. Métayer, and T. Priol, Formalization and verification of coherence protocols with the gamma framework, Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99, pp.105-113, 2000.
DOI : 10.1109/PDSE.2000.847855

M. R. Mousavi, M. A. Reniers, T. Basten, and M. R. Chaudron, Separation of concerns in the formal design of real-time shared data-space systems, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings., pp.71-81, 2003.
DOI : 10.1109/CSD.2003.1207701

M. R. Mousavi, G. Russello, M. R. Chaudron, M. A. Reniers, T. Basten et al., Using Aspect-GAMMA in the design of embedded systems, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002., p.69, 2002.
DOI : 10.1109/HLDVT.2002.1224431

M. Schumacher, E. Fernandez, D. Hybertson, and F. Buschmann, Security Patterns, Informatik-Spektrum, vol.25, issue.3, 2005.
DOI : 10.1007/s002870200223

H. Song, Y. Sun, Y. Yin, and S. Zheng, Dynamic Weaving of Security Aspects in Service Composition, 2006 Second IEEE International Symposium on Service-Oriented System Engineering (SOSE'06), 2006.
DOI : 10.1109/SOSE.2006.14

H. Tatsuzawa, H. Masuhara, and A. Yonezawa, Aspectual Caml: an Aspect-Oriented Functional Language, Workshop on Foundations of Aspect Oriented Languages, pp.320-330, 2005.

J. Viega, J. T. Bloch, and P. Chandra, Applying Aspect-Oriented Programming to Security, Cutter IT Journal, vol.14, issue.2, pp.31-39, 2001.

B. De-win, W. Joosen, and F. Piessens, Developing Secure Applications through Aspect-Oriented Programming, Aspect-Oriented Software Development, pp.633-650, 2005.