Bartholdi, LaurentLaurentBartholdiŠuniḱ, ZoranZoranŠuniḱGrigorchuk, Rostislav I.Mihalik, MichaelSapir, MarkŠuniḱ, Zoran2017-09-072017-09-072006https://resolver.sub.uni-goettingen.de/purl?gro-2/3691Some solvable automaton groupsbook_chapter10.1090/conm/394/074313145952