1. SIMULA Begin;Birtwistle,1973
2. Making the future safe for the past: Adding genericity to the java programming language;Bracha,1998
3. Foundations of Object-Oriented Languages: Types and Semantics;Bruce,2002
4. A statically safe alternative to virtual types;Bruce,1998
5. Subtyping is not a good “match” for object-oriented languages;Bruce,1997