Hoare, A. H. M. Nielsen Methods in Groups With a Length Function. Math. Scand. 1981, 48, 153-164.