1. Backus, J.: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Comm. ACM 21, 613–641 (1978)
2. Bauer, F.L.: Vorlesungsskriptum Algorithmische Sprachen, Kap.4. Institut für Informatik der Technischen Universität München, Februar 1978
3. Bauer, F.L., Partsch, H., Pepper, P., Wössner, H.: Techniques for program development. In: Software Engineering Techniques. Infotech State of the Art Report 34. Maidenhead: Infotech International 1977, p. 25–30
4. Berkling, K.J.: Reduction languages for reduction machines. Gesellschaft für Mathematik und Datenverarbeitung mbH Bonn, Interner Bericht ISF-76-8, Sept. 1976
5. Cooper, D.C.: The equivalence of certain computations. Computer Journal 9, 45–52 (1966)