Teorija rekursivnyh funkcij i effektivnaja vyčislimost' - Rogers, Hartley (Mir - Moskva, 1972)
Prijevod djela: THEORY OF RECURSIVE FUNCTIONS AND EFFECTIVE COMPUTABILITY