Klaus P. Jantke
-
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming