Enn Tyugu. A programming system with automatic program synthesis. In Andrei P. Ershov, Cornelis H. A. Koster, editors, Methods of Algorithmic Language Implementation [Symposium, September 10-13, 1975, Novosibirsk, Russia, Proceedings]. Volume 47 of Lecture Notes in Computer Science, pages 251-267, Springer, 1975.
Abstract is missing.