R. C. Lyndon, “Length Functions in Groups”., Math. Scand., vol. 12, pp. 209–234, Dec. 1963.