A topological proof of Grushko's theorem on free products. John R. Stallings — 1965 Mathematische Zeitschrift
Surfaces in Three-Manifolds and Non-Singular Equations in Groups. John R. Stallings — 1983 Mathematische Zeitschrift