@book{11432,
	author = {Davis, Martin},
	title = {Applied nonstandard analysis},
	publisher = {John Wiley},
	year = {1977},
	series = {Pure and Applied Mathematics},
	address = {New York}
}