Nichtlineare Funktionalanalysis by Michael Ruzicka