Hoare, A. H. M. 1981. “Nielsen Methods in Groups With a Length Function”. MATHEMATICA SCANDINAVICA 48 (December):153-64. https://doi.org/10.7146/math.scand.a-11908.