Hervé Martin: GECO: un générateur de contrôles de cohérence pour les SGBD objets. BDA 1991: 453-