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