Tobias Nipkow
Institut für Informatik
Technische Universität München
D-80290 München
GERMANY
nipkow@informatik.tu-muenchen.de