J. Nielsen, “A basis for subgroups of free groups”, Math. Scand., vol. 3, pp. 31–43, Dec. 1955.