ERK, Katrin - PRIESE, Lutz. Theoretische Informatik : eine umfassende Einführung. 3., erw. Aufl. Berlin ; Heidelberg : Springer, 2008. xv, 485 s. eXamen.press. ISBN 978-3-540-76319-2.