Wagner Klaus: Turing - Berechbarkeit in linearer Zeit. In: Acta cybernetica, (2) 3. pp. 239-248. (1975)