Formal Models for Object Oriented Databases.

Catriel Beeri Formal Models for Object Oriented Databases. 405-430 1989 conf/dood/89 DOOD db/conf/dood/dood89.html#Beeri89