Floer homology groups in Yang-Mills theory (Cambridge Univ. Press, 2002)