Automates finis Dominique Perrin, Jacques Sakarovitch (1982) Publications du Département de mathématiques (Lyon)