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