Theoretische Informatik kurz gefaßt - Schöning, Uwe 1955- (BI-Wiss.-Verl., 1993)
Literaturverz. S. 181 - 184