Furuta, M., Kametani, Y., & Minami, N. (2001). Stable-homotopy Seiberg-Witten invariants for rational cohomology K3\\K3's. Journal of the Mathematical Sciences of the University of Tokyo, 8(1), 157-176.