Mašiny t'juringa i rekursivnye funkcii - Jacobs, Konrad; Belagi, E.G (Mir - Moskva, 1972)
Prijevod djela: SELECTA MATHEMATICA II