Lyndon RC. Length Functions in Groups. Math. Scand. 1963;12:209-234. doi:10.7146/math.scand.a-10684