1. C. Aßmann. Ein syntaxgesteuerter Editor für eine funktionale Sprache. Master’s thesis, Institut für Informatik und praktische Mathematik, Universität Kiel, 1987.
2. C. Aümann. CAST: A Processor Architecture for the Efficient Execution of Functional Programs, to appear, 1991.
3. W. Bosy. Design und Implementierung eines Übersetzers für eine Hardware-Reduktionsmaschine. Master’s thesis, Institut für Informatik und praktische Mathematik, Universität Kiel, 1991.
4. H.B. Curry and R. Feys. Combinatory Logic. North Holland, 1958.
5. A. Church. The Calculi of Lambda Conversion. Annais of Mathematic Studies, 6, 1941.