Applied nonstandard analysis - Davis, Martin (Dover Publications, 2005)