Hoare AHM. Nielsen methods in groups with a length function. Math. Scand. 1981;48:153-164. doi:10.7146/math.scand.a-11908