Algorithms in modern mathematics and computer science : PROCEEDINGS, URGENCH, UZBEK SSR, SEPTEMBER 16-22, 1979. - Ershov, Andrei P. (Springer Verlag, 1981)