Deev, G. E.; Ermakov, S. V. Bi-Infinite Calculating Automaton. УК 2022, 3, 52-62.