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