1. Subtyping recursive types;Amadio;ACM Trans. Programming Lang. Systems,1993
2. On subtyping and matching;Abadi,1995
3. A Theory of Objects;Abadi,1996
4. An interpretation of objects and object types;Abadi,1996
5. The Java Programming Language;Arnold,1996