@book{77177,
	author = {Davis, Martin},
	title = {Applied Nonstandards Analysis},
	publisher = {JOHN WILEY},
	year = {1977},
	address = {NEW YORK}
}