An introduction to infinite-dimensional analysis - Prato, Giuseppe