1. R. Agrawal, L. DeMichiel, and B. Lindsay. Static Type Checking of Multi-Methods. In A. Paepcke, editor, Proc. Sixth Int’l Conf. on Object-Oriented Programming: Systems, Languages, and Applications, pages 113–128, 1991.
2. A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An Object Data Model with Roles. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. Nineteenth Int’l Conf. on Very Large Data Bases, pages 39–51, 1993.
3. E. Bertino and L.D. Martino. Object-Oriented Database Systems-Concepts and Architecture. Addison-Wesley, 1993.
4. L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction and Polimorphism. Computing Surveys, 17:471–522, 1985.
5. Technical Report;G. Castagna,1994