Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen - Asteroth, Alexander 1968-; Baier, Christel (Informatik, 2002)