Lyndon, R.C. 1963. Length Functions in Groups. MATHEMATICA SCANDINAVICA. 12, (Dec. 1963), 209–234. DOI:https://doi.org/10.7146/math.scand.a-10684.