K. Wagner, “Turing - Berechbarkeit in linearer Zeit”, Acta Cybern, vol. 2, no. 3, pp. 239-248, Jan. 1975.