LYNDON, R. C. Length Functions in Groups. MATHEMATICA SCANDINAVICA, v. 12, p. 209-234, 1 Dec. 1963.