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