Hoare, A. H. M. “Nielsen Methods in Groups With a Length Function”. MATHEMATICA SCANDINAVICA 48 (December 1, 1981): 153–164. Accessed May 5, 2024. https://www.mscand.dk/article/view/11908.