Nielsen methods in groups with a length function. - Hoare, A. H. M. (MATHEMATICA SCANDINAVICA, 1981)