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