The Kepler Conjecture - Hales, Thomas C. (Springer New York, 2011)