1. Lecture Notes in Computer Science,2000
2. Aigner, M., Ziegler, G.M.: Proofs from The Book, 2nd edn. Springer, Heidelberg (2001)
3. Appel, K., Haken, W.: Every planar map is four colorable. Bulletin of the American Mathematical Society 82, 711–712 (1976)
4. Baker, A.: A Concise Introduction to the Theory of Numbers. Cambridge University Press, Cambridge (1985)
5. Boldo, S.: Preuves formelles en arithmétiques à virgule flottante. PhD thesis, ENS Lyon (2004), Available on the Web from:
http://www.ens-lyon.fr/LIP/Pub/Rapports/PhD/PhD2004/PhD2004-05.pdf