1. Barendregt, H.P.:The Lambda Calculus: Its Syntax and Semantics, North-Holland, Amsterdam, 1981.
2. Biundo, S.:Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool, Proc. 8th European Conference on AI (ECAI-88), Munich, GER, 1988, Pitman Publishing, pp. 553–558.
3. Curry, H.B.; Feys, R.:Combinatory Logic, North-Holland, Amsterdam, 1958.
4. Denzinger, J.; Fuchs, M.:Goal oriented equational theorem proving using teamwork, Proc. 18th German Conference on AI (KI-94), Saarbrücken, GER, 1994, Springer LNAI 861, pp. 343–354.
5. De Jong, K.:Learning with Genetic Algorithms: An Overview, Machine Learning 3:121–138, 1988.