A Formal Approach to Object-Oriented Databases.

Catriel Beeri A Formal Approach to Object-Oriented Databases. 353-382 1990 5 Data Knowl. Eng. db/journals/dke/dke5.html#Beeri90