Address Technische Universität Dresden Institut für Theoretische Informatik Professur für Grundlagen der Programmierung Nöthnitzer Straße 46 01187 Dresden