Lin, J.; Mukherjee, A. Family Bauer–Furuta Invariant, Exotic Surfaces and Smale Conjecture. J. Assoc. Math. Res. 2025, 3, 237-275.