Published in:Universität Karlsruhe: Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 359 Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren