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