Hoare, A. H. M. “Nielsen Methods in Groups With a Length Function”. Mathematica Scandinavica, vol. 48, Dec. 1981, pp. 153-64, https://doi.org/10.7146/math.scand.a-11908.