Infinite-dimensional topology prerequisites and introduction - Mill, Jan van (North-Holland, 1989)