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