B. Meyer, Object-Oriented Software Construction Prentice Hall International Series in Computer Science, 1988.

E. P. Andersen and T. Reenskaug, System design by composing structures of interacting objects, Proc. ECOOP'92, pp.133-152, 1992.
DOI : 10.1007/BFb0053034

C. A. Szyperski, Import is not inheritance why we need both: Modules and classes, Proc. ECOOP'92, pp.19-32, 1992.
DOI : 10.1007/BFb0053028

G. Steele, Common Lisp: The Language, Second Edition, 1990.

A. Goldberg and D. Robson, Smalltalk-80, the Language and its Implementation, 1983.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, Proc. ECOOP'2001, pp.327-355, 2001.
DOI : 10.1007/3-540-45337-7_18

G. Kiczales, J. Des-rivieres, and D. Bobrow, The Art of the Meta-Object Protocol, 1991.

G. Pavillet and R. Ducournau, Implmentation des attributs boolens par un Meta Object Protocol, Actes LMO'99, pp.55-68, 1999.

R. Ducournau, M. Habib, M. Huchard, M. L. Mugnier, and A. Napoli, Le point sur l'héritage multiple, Technique et Science Informatiques, vol.14, pp.309-345, 1995.

B. Stroustrup, The C++ Programming Language, 1986.

B. Meyer, Eiffel: The Language. Prentice Hall Object-Oriented Series, 1992.

R. Ducournau, Spcialisation et sous-typage : thme et variations, Revue des Sciences et Technologies de l'Information, TSI, pp.1305-1342, 2002.

D. Colnet and O. Zendra, Optimizations of eiffel programs: Smalleiffel, the gnu eiffel compiler In: 29th conference on Technology of Object-Oriented Languages and Systems (TOOLS Europe'99), pp.341-350, 1999.

J. Privat and R. Ducournau, Intgration d'optimisations globales en compilation spare des langages objets, Actes LMO'04 in L'Objet, pp.61-74, 2004.
DOI : 10.3166/objet.10.2-3.61-74

URL : http://hal-lirmm.ccsd.cnrs.fr/docs/00/19/19/37/PDF/D123.PDF

R. Dixon, T. Mckee, P. Schweitzer, and M. Vaughan, A fast method dispatcher for compiled languages with multiple inheritance, Proc. OOPSLA'89, 1989.

W. Pugh and G. Weddell, Two-directional record layout for multiple inheritance, Proc. ACM Conf. on Programming Language Design and Implementation (PLDI'90). ACM SIGPLAN Notices, pp.85-91, 1990.

N. Cohen, Type-extension type tests can be performed in constant time. Programming languages and systems 13, pp.626-629, 1991.

J. Vitek, R. Horspool, and A. Krall, Efficient type inclusion tests, Proc. OOP- SLA'97. SIGPLAN Notices, pp.142-157, 1997.
DOI : 10.1145/263698.263730

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.5319

J. Gil and A. Itai, The complexity of type analysis of object oriented programs, Proc. ECOOP'98, pp.601-634, 1998.
DOI : 10.1007/BFb0054109

D. Grove and C. Chambers, A framework for call graph construction algorithms, ACM Transactions on Programming Languages and Systems, vol.23, issue.6, pp.685-746, 2001.
DOI : 10.1145/506315.506316

J. R. Levine, Linkers and Loaders, 1999.

C. Clifton, G. T. Leavens, C. Chambers, and T. Millstein, MultiJava: Modular open classes and symetric multiple dispatch for Java, Proc. OOPSLA'00. SIGPLAN Notices, pp.130-145, 2000.

Y. Ichisugi and A. Tanaka, Difference-Based Modules: A Class-Independent Module Mechanism, Proc. ECOOP'2002, pp.62-88, 2002.
DOI : 10.1007/3-540-47993-7_3

A. Bergel, S. Ducasse, and R. Wuyts, Classboxes: A Minimal Module Model Supporting Local Rebinding, JMLC 2003 (Joint Modular Languages Conference, pp.122-131, 2003.
DOI : 10.1007/978-3-540-45213-3_17

URL : https://hal.archives-ouvertes.fr/inria-00533446

E. Ernst, Higher-Order Hierarchies, Proc. ECOOP'2003, pp.303-329, 2003.
DOI : 10.1007/978-3-540-45070-2_14