J. M. Barzdin On inductive synthesis of programs. [Citation Graph (0, 0)][DBLP] Algorithms in Modern Mathematics and Computer Science, 1979, pp:235-254 [Conf]
J. M. Barzdin Some Rules of Inductive Inference and their Use for Program Synthesis. [Citation Graph (0, 0)][DBLP] IFIP Congress, 1983, pp:333-338 [Conf]