Lehrstuhl Theorie der Programmierung
Institut für Informatik, Humboldt-Universität zu Berlin
Rudower Chaussee 25, 12489 Berlin
Tel.: 030 2093 3065/3066
Fax: 030 2093 3067
E-Mail: reisig(at)informatik.hu-berlin.de
Website: www.informatik.hu-berlin.de/top