Theorem Proving with the Real Numbers by Harrison, John | Lex | Lex