Applied nonstandard analysis - Davis, Martin, 1928- (Dover Publications, Inc., 2005)
Republication 2005