1. M. L. Lowry and R. D. McCarthy, editors. Autmatic Software Design. MIT Press, Cambridge, MA, 1991.
2. Ute Schmid. Inductive synthesis of functional programs-Learning domain-specific control rules and abstract schemes. http://www.inf.uos.de/schmid/pub-ps/habil.ps.gz , Mai 2001. unpublished habilitation thesis.
3. S. Schrödl and S. Edelkamp. Inferring flow of control in program synthesis by example. In Proc. Annual German Conference on Artificial Intelligence (KI’99), Bonn, LNAI, pages 171–182. Springer, 1999.
4. P. D. Summers. A methodology for LISP program construction from examples. Journal ACM, 24(1): 162–175, 1977.
5. U. Schmid and F. Wysotzki. Applying inductive programm synthesis to macro learning. In Proc. 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2000), pages 371–378. AAAI Press, 2000.