1. A Theory of Objects;Abadi,1996
2. The Fortress Language Specification, Version 1.0. Tech. Rep.;Allen,2008
3. D. Ancona, S. Drossopoulou, E. Zucca, Overloading and inheritance, in: 8th Intl. Workshop on Foundations of Object-Oriented Languages, FOOL8, 2001.
4. A survey of adaptive optimization in virtual machines;Arnold;Proceedings of the IEEE,2005
5. The Description Logic Handbook: Theory, Implementation and Applications;Baader,2003