Problem specification and program synthesis in the system Spora

Babaev, 1981, DESCARTES: The Input Language of the SPORA System, Applied Informatics, Vol. 1 Babaev, 1983, The System of Automated Program Synthesis SPORA, Applications of Mathematical Logic Methods Babaev, 1987, Development of the Automatized System for Problem Solving SPORA, Applied Program Packages, Software Development Tools Kypp, 1987, The System MICROPRIZ, Applied Program Packages, Software Development Tools Miannisalu, 1977, The Language UTOPIST, Algorithms and Solving Problems in Economics, Vol. 10 Neiman, 1987, Deduction Search in Horn Calculus and its Application to Program Synthesis Novosel'tsev, 1986, Synthesis of Recursive Programs in Applied Packages Management Systems Tyugu, 1970, Problem Solving on Computational Models, Zh. Vychisl. Mat. i Mat. Fiz., 10, 716 Tyugu, 1981, The Algorithms of Structured Program Synthesis, Programmirovanie, 4, 3 Tyugu, 1984, Conceptual Programming Ullman, 1980