1. Eiffel: the language;Meyer,1992
2. Contravariance for the rest of us;Harris;Journal of Object-Oriented Programming,1991
3. A parallel object-oriented language with inheritance and subtyping;America,1991
4. Types in school;Rodriguez;SIGPLAN Notices,1993
5. Emerald: a general-purpose programming language;Raj;Software: Practice and Experience,1991