N. N. Nepeivoda. The logical approach to programming. In Andrei P. Ershov, Donald E. Knuth, editors, Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, September 16-22, 1979. Volume 122 of Lecture Notes in Computer Science, pages 261-289, Springer, 1979.
@inproceedings{Nepeivoda79, title = {The logical approach to programming}, author = {N. N. Nepeivoda}, year = {1979}, tags = {programming, systematic-approach}, researchr = {https://researchr.org/publication/Nepeivoda79}, cites = {0}, citedby = {0}, pages = {261-289}, booktitle = {Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, September 16-22, 1979}, editor = {Andrei P. Ershov and Donald E. Knuth}, volume = {122}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-11157-3}, }