Schmid, Ute (2003): Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning, Berlin u.a.: Springer, doi: 10.1007/b12055.