@book{8335,
	author = {Robinson, Abraham and Keisler, H. J.},
	title = {Selected papers of Abraham Robinson},
	publisher = {North-Holland,},
	year = {1979},
	address = {Amsterdam:}
}