On the border between functional programming and program synthesisTõugu, EnnProceedings of the Estonian Academy of Sciences. Engineering1998 / 2, p. 119-129