Propriétés de permanence et existence de réalisations minimales pour les algèbres multisortes C. Henry (1992) Diagrammes
Puissance extérieure d'un automate déterministe, application au calcul de la fonction zêta d'un système sofique Marie-Pierre Béal (1995) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications