Principles of Compiler Design, Type Inference for Late Binding, 1977. ,
Design Patterns: Elements of Reusable Object-Oriented Software, 1994. ,
Smalltalk-80, the Language and its Implementation, 1983. ,
The Java Language Specification, Islands: Aliasing Protection in Object-Oriented Languages ¡ ¡, p.6, 1996. ,
Design Patterns with Contracts, 1999. ,
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. ,
The C++ Programming Language, 1986. ,