https://www.buch-ka.de/Theoretische-Informatik/9783662574089