@book{18048,
	author = {Goodstein, R. L.},
	title = {Recursive analysis},
	publisher = {Dover Publications},
	year = {2010},
	address = {New York}
}