La principale référence est le livre de Michael Sipser (Introduction to the theory of computation). Dans le cours, on travaillera plus systématiquement avec le modèle des machines de Turing à plusieurs rubans. Et on abordera en fin de cours la complexité de comptage, qui n'est pas couverte dans le livre de Sipser. En complément à cette référence, on peut citer les livres de Sylvain Perifel (en français) et d'Arora - Barak (en anglais).