. Bibliographie, U. A. Aho, and C. S. Collin, Principles of Compiler Design, Type Inference for Late Binding, 1977.

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

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

J. J. Gosling and . Steele-g, The Java Language Specification, Islands: Aliasing Protection in Object-Oriented Languages ¡ ¡, p.6, 1996.

]. Train-m and . Mingins-c, Design Patterns with Contracts, 1999.

M. B. Meyer, T. Eiffel, and . Language, Object-oriented Software Construction, MEY 94]MIN 96] MINSKY N., Towards Alias-Free Pointers ¡ ¡ , European Conference on Object- Oriented Programming (ECOOP'96) de Lecture Notes in Computer Sciences, 1988.

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