A. H. M. Hoare, “Nielsen methods in groups with a length function”., Math. Scand., vol. 48, pp. 153–164, Dec. 1981.