\bibitem{Sch01} 
Uwe Schöning: Theoretische Informatik - kurzgefasst, 4. Auflage. Spektrum, Heidelberg 2001

\bibitem{HU00} 
John E. Hopcroft, Jeffrey D. Ullman: Introduction to Automata Theory, Languages and Computation, Addison-Wesley, Reading, Massachusetts, 1979 (Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, Oldenbourg-Verlag, München, 2000).

\bibitem{MeMu} C. Meinel, M. Mundhenk: Mathematische Grundlagen der Informatik.
Mathematisches Denken und Beweisen, eine Einführung. Teubner, 2002.

\bibitem{RoWr}  K.~A. Ross, C.~R.~B. Wright: Discrete Mathematics. Prentice Hall, 1988.

\bibitem{KiSm} 
E. Kinber / C. Smith: Theory of Computing. A Gentle Introduction. Prentice Hall.