Theoretische Informatik (Prof. Dr. H. Randerath)