[1]
R. C. Lyndon, “Length Functions in Groups.”, MathScand, vol. 12, pp. 209-234, Dec. 1963.