Kitzelmann. Inductive Programming: A Survey of Program Synthesis Techniques. Springer Berlin Heidelberg, 2010, doi:10.1007/978-3-642-11931-6_3.