Floer homology groups in Yang-Mills theory - Donaldson, S. K. (Cambridge tracts in mathematics, 2002)