"Consistency Checking in Object Oriented Databases: a Behavioral Approach."

Hervé Martin, Michel E. Adiba, Bruno Defude (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics