Voir http://www-sop.inria.fr/aid/personnel/Brigitte.Trousse/publications.html pour une bibliographie exhaustive.