Algorithms in modern mathematics and computer science : PROCEEDINGS, URGENCH, UZBEK SSR, SEPTEMBER 16-22, 1979. - Ershov, Andrei P.; Knuth, Donald E. (Lecture Notes in Computer Science ;, 1981)