Nielsen, J. “A Basis for Subgroups of Free Groups”. MATHEMATICA SCANDINAVICA, vol. 3, Dec. 1955, pp. 31-43, doi:10.7146/math.scand.a-10423.