Hoare, A. H. M. (1981). Nielsen methods in groups with a length function. MATHEMATICA SCANDINAVICA, 48, 153–164. https://doi.org/10.7146/math.scand.a-11908