@book{118978,
	author = {Vath, Martin},
	title = {Nonstandard analysis},
	publisher = {Birkhauser Verlag},
	year = {2007},
	address = {Switzerland},
	note = {includes index}
}