Nonstandard analysis and its applications
Cutland, Nigel,1944-
Cambridge University Press
1988
Functional analysis.