Mašiny t'juringa i rekursivnye funkcii - Jacobs, Konrad; Belagi, E.G (Sovremennaja Matematika / Mir - Moskva., 1972)