The Kepler Conjecture The Hales-Ferguson Proof - Lagarias, Jeffrey C. (Springer New York : Imprint: Springer, 2011)