TY  - BOOK
TI  - Jahresbericht Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe 1991/92
T2  - Jahresbericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe
PY  - 1992///
N1  - Literaturangaben
ER  -