Wagner, K. 1975. Turing - Berechbarkeit in linearer Zeit. Acta Cybernetica. 2, 3 (Jan. 1975), 239-248.