Eine algebraische Spezifikation des Software-Produkts INTAKT. - Grieneisen, Hartmut (Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern, 1983)