Turing-Maschinen und berechenbare Funktionen I - Ebbinghaus, Heinz-Dieter 1939-; Mahn, Friedrich-Karl (Springer, 1970)