Spezifikation und abstrakte Implementierung des Aufbereitungsteils von INTAKT. - Schrupp, Wilfried (Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern, 1983)