@book{31941,
	author = {Harrison, John},
	title = {Theorem proving with the real numbers},
	publisher = {Springer,},
	year = {1998},
	address = {New York:}
}