Seiberg-Witten Floer stable homotopy type of three-manifolds with b 1 = 0 . Manolescu, Ciprian — 2003 Geometry & Topology