A System Architecture for the Concurrent Evaluation of Applicative Program Expressions - Claudia Schmittgen; Werner E. Kluge (ISCA, 1983)

Reduction Languages and Reduction Systems. - Werner E. Kluge; Claudia Schmittgen (Future Parallel Computers, 1986)

Spezifikation der Architektur und Realisierung eines Reduktionssystems mit konsequenter Unterstützung strukturierter Datenobjekte und n-stelliger definierter Funktionen. - Claudia Schmittgen (1986)

pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus. - Claudia Schmittgen; Harald Blödorn; Werner E. Kluge (New Gener. Comput., 1992)