Theoretische Informatik Einführung in Berechenbarkeit, Komplexität und formale Sprachen - Baier, Christel (Pearson Studium, 2002)