Nonstandard methods in functional analysis lectures and notes - Ng, Siu-Ah (World Scientific Pub. Co., 2010)