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