An introduction to infinite-dimensional analysis - Da Prato, Giuseppe (Universitext, 2006)