Variational methods for strongly indefinite problems - Ding, Yanheng (World Scientific, 2007)