V. Prokhorchuk, “On finite state automaton actions of HNN extensions of free abelian groups”, Carpathian Math. Publ., vol. 13, no. 1, pp. 180–188, Jun. 2021.