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