http://mathoverflow.net/questions/46413/instanton-homology-reference-request
nLab page on Instanton Floer homology