G. E. Deev and S. V. Ermakov, “Bi-Infinite Calculating Automaton”, УК, vol. 3, no. 3, pp. 52-62, Sep. 2022.