J. M. Barzdin On inductive synthesis of programs. 235-254 1979 conf/ershov/1979 Algorithms in Modern Mathematics and Computer Science db/conf/ershov/ershov1979.html#Barzdin79 http://dx.doi.org/10.1007/3-540-11157-3_28