Formal Models for Object Oriented Databases, in Deductive and ObjectOriented (1990)

by C Beeri