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.