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