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