Algorithms and recursive functions - Mal'tsev, Anatolii Ivanovich 1909-1967 (Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics, 1970)