Theoretische Informatik - kurzgefasst - Schöning, Uwe 1955- (Spektrum-Hochschultaschenbuch, 2001)