Nielsen, Jacob. “A Basis for Subgroups of Free Groups”. Mathematica Scandinavica, vol. 3, Dec. 1955, pp. 31-43, https://doi.org/10.7146/math.scand.a-10423.