Peter Haase
pha@aifb.uni-karlsruhe.de
Institut fur Angewandte Informatik und Formale Beschreibungsverfahren - AIFB Universitaet Karlsruhe D-76128 Karlsruhe