José Samos Jaume Sistac Definition of Deductive Conceptual Models of OODBs. 313-318 1996 DEXA Workshop db/conf/dexaw/dexaw96.html#SamosS96