https://www.buch-ka.de/Grundkurs-Theoretische-Informatik/9783662472774