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