Prokhorchuk, V. On Finite State Automaton Actions of HNN Extensions of Free Abelian Groups. Carpathian Math. Publ. 2021, 13, 180-188.