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. A Hardware Architecture for the Efficient Execution of Functional Programs, internal paper, 1990.
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. D. Gärtner. π-Red+: ein codeausführendes Reduktionssystem zur Transformation von Programmen eines angewandten λ-Kalküls. In Architektur von Rechensystemen, 1992. 12. GI/ITG Fachtagung.
5. M. Hasegawa and Y. Shigei. High-Speed Top-of-Stack Scheme for VLSI Processor: a Management Algorithm and its Analysis. In Proceedings of the 12th Annual International Symposium on Computer Architecture, pages 48–54, 1985.