Lyndon, R. C. (1963) “Length Functions in Groups.”, MATHEMATICA SCANDINAVICA, 120, pp. 209-234. doi: 10.7146/math.scand.a-10684.