1 - Automata, languages and machines. Volume A |
2 - Automata-theoretic aspects of formal power series |
3 - Büchi's monadic second order successor arithmetic. Decidable theories I |
4 - Eléments d'algorthmique |
5 - Introduction to switching and automata theory |
6 - Logique automatique informatique |
7 - Théorie structurelle des automates finis |