On formal transformations of algorithms

V. M. Glushkov. On formal transformations of algorithms. 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 430-440, Springer, 1979.


Abstract is missing.