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