@book{104150,
	author = {Vath, Martin},
	title = {Nonstandard analysis},
	publisher = {Birkhauser Verlag},
	year = {2007},
	address = {Berlin}
}