@book{11840,
	author = {Symposium on Nonstandard Analysis, Victoria, 1972 and Hurd, Albert},
	title = {Victoria symposium on nonstandard analysis},
	publisher = {Springer-Verlag,},
	year = {1974},
	address = {Berlin:}
}