Angewandte Informatik und Formale Beschreibungsverfahren Festschrift zum 60. Geburtstag von Wolffried Stucky Lausen Georg Heftet / 1999 / Tysk
