Text this: Algorithms and recursive functions / A. I. Malʹcev. Translated from the first Russian ed. by Leo F. Boron, with the collaboration of Luis E. Sanchis, John Stillwell and Kiyoshi Iséki.