Dominique Perrin Jean-François Perrot Congruences et Automorphismes des Automates Finis Acta Inf. 1 1971 159-172 db/journals/acta/acta1.html#PerrinP71