Spezifikation der Architektur und Realisierung eines Reduktionssystems mit konsequenter Unterstützung strukturierter Datenobjekte und n-stelliger definierter Funktionen - Schmittgen, Claudia (Gesellschaft für Mathematik und Datenverarbeitung MBH ;, 1987)