Décomposition des langages réguliers G. Thierrin — 1969 ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique
On semigroups in which every Rees one-sided congruence is a congruence. G.R. Baird; G. Thierrin — 1972 Semigroup forum
Codes, languages and MOL schemes H. J. Shyr; G. Thierrin — 1977 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Disjunctive languages and compatible orders M. Ito; H. J. Shyr; G. Thierrin — 1989 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications