The Kepler Conjecture - Hales, Thomas C.; Ferguson, Samuel P.; Hales, Thomas Callister; Lagarias, Jeffrey C. (Springer New York, 2011)