1. Backus, J.: “Can Programming Be Liberated from the von Neumann Style ?”, CACM 21 (8), pp. 613–641, (1978)
2. Berkling, K. J.: “A symmetric complement to the Lambda calculus”, Interner Bericht ISF-76-7, GMD, D-5205 St. Augustin 1, 1976
3. Berkling, K. J.: “Reduction languages for reduction machines”, Interner Bericht ISF-76-8, GMD, D-5205 St. Augustin 1, 1976
4. De Bruijn, N. G.: “Lambda-calculus notation with nameless dummies, a tool for automatic formula manipulation”, Indag. Math. 34
5. Fehr, E.: “The lambda-semantics of LISP”, Schriften zur Informatik und Mathematik, Bericht Nr. 72, RWTH Aachen, Mai 1981