1. A Theory of Objects;Abadi,1996
2. Subtyping constraints for incomplete objects;Bono,1997
3. A lambda calculus of incomplete objects;Bono,1996
4. A subtyping for the Fisher–Honsell–Mitchell calculus of objects;Bono,1995
5. Modularity meets inheritance;Bracha,1992