Types abstraits et bases de données : formalisation de la notion de partage et analyse statique des contraintes d'intégrité. (Abstract data types and databases: formalization of the notion of partition and static analysis of integrity contraints). - Ana Maria Sales (1984)