Lagarias, Jeffrey C. (Ed.)
The Kepler conjecture : the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson
New York, NY : Springer, 2011. xiv, 456 p.
QA166.7 K46