Algorithms and recursive functions - Mal'tsev, Anatolii Ivanovich 1909-1967 (WoltersNoordhoff, 1970)