@book{24896,
	author = {Cutland Nigel},
	title = {Nonstandard analysis and its applications},
	publisher = {Cambridge university},
	year = {1988}
}