Universitat -Gesamthochschule Paderborn - Universitat, Kaiserslautern, pp. 34.
Künstliche neuronale Netze zur Modellierung und Überwachung von Drehprozessen. Teilbericht 2. Protokoll der multisensorielle MeSSaufnahme. Interner Bericht 3/92. Elektrische MeSStechnik
In: Shifting paradigms in software engineering. Proceedings of the 7th joint conference of the Austrian Computer Society and the John von Neumann Society for Computing Sciences. Klagenfurt, 1992.
Lessons of a first-year use of the automated reasoning tool