On the border between functional programming and program synthesis
Tõugu, Enn
Proceedings of the Estonian Academy of Sciences. Engineering
1998
/
2, p. 119-129