Gottfried Vossen On Formal Models for Object-Oriented Databases. 1-19 1995 6 OOPS Messenger 3 db/journals/oopsm/oopsm6.html#Vossen95