Grundlagen der Theoretischen Informatik - Sperschneider, Volker (1989)