A formulation of the Kepler conjecture - Samuel P. Ferguson; Thomas C. Hales (1998)