Theoretische Informatik : eine umfassende Einführung - Erk, Katrin; Priese, Lutz, 1947- (eXamen.press, 2008)