1 - Automata studies |
2 - Introduction to automata theory languages, and computation |
3 - Introduction to computability |
4 - Logique mathématique |
5 - Machines de Turing et automates cellulaires : du traité gravé au très animé |
6 - Proceedings of the Second Scandinavian Logic Symposium |
7 - Selecta Mathematica. II : Turing-Maschinen und berchenbare Funktionen I, ... |
8 - The design and analysis of computer algorithms |