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