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.