A. P. Ershov

Algorithms in Modern Mathematics and Computer Science