Roland Olsson Inductive Functional Programming Using Incremental Program Transformation. 55-8 1995 74 Artif. Intell. 1 db/journals/ai/ai74.html#Olsson95 http://dx.doi.org/10.1016/0004-3702(94)00042-Y