Prokhorchuk, V. “On Finite State Automaton Actions of HNN Extensions of Free Abelian Groups”. Carpathian Mathematical Publications, vol. 13, no. 1, June 2021, pp. 180-8, doi:10.15330/cmp.13.1.180-188.