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 - Introduction to switching and automata theory |
5 - Logique automatique informatique |
6 - Théorie structurelle des automates finis |