-A. P. Ershov/D. E. Knuth (Eds.): Algorithms in Modern Mathematics and Computer Science, Proceedings 1979, Springer-Verlag 1981