Automata on infinite words : proceedings - Nivat M ed.; Ecole de Printems d'Informatique Theorique( 1984 : Le Mont Dore ); Ecole de Printems d'Informatique Theorique , 1984 (Berlin Springer-Verlag, 1985)
Keywords: Computer science; Mathematical logic