Hoare, A. H. M. “Nielsen Methods in Groups With a Length Function”. Mathematica Scandinavica 48 (December 1, 1981): 153–164. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/1723.