Wang, B.-L., & Muñoz, V. (2005). Seiberg-Witten-Floer homology of a surface times a circle for non-torsion spin C structures. Mathematische Nachrichten, 278(7-8), 844-863.