A fast algorithm to decide on the equivalence of stateless DPDA Didier Caucal — 1993 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Graphes canoniques de graphes algébriques Didier Caucal — 1990 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications