Grundbegriffe der Theoretischen Informatik - Stetter, Franz (Springer, 1988)