Mašiny T'juringa i rekursivnyje funkcii - Ebbinghaus, Heinz-Dieter, 1939- (Sovremennaja matematika. Populjarnaja serija, 1972)