Прохорчук, В. Про скінченно станові автоматні дії HNN розширень вільних абелевих груп. Carpathian Math. Publ. 2021, 13, 180-188.