Michael Sipser: Introduction to the Theory of Computation, 3rd international edition, 2012
Foreløpig pensumplan (fra Sipsers bok):