Grundkurs theoretische Informatik - Posthoff, Christian 1943-; Schultz, Konrad (Teubner, 1992)