Georgiev, V. O. A survey on methods of synthesis of programs. (Russian) Zbl 0850.68118 Veroyatn. Metody Kibern. 24, 16-42 (1990). MSC: 68N01 General topics in the theory of software PDFBibTeX XMLCite \textit{V. O. Georgiev}, Veroyatn. Metody Kibern. 24, 16--42 (1990; Zbl 0850.68118) Full Text: EuDML