The Four Color Theorem, http://www.math.gatech.edu/~thomas/FC/fourcolor.html (accessed on 30 (2008)

by N Robertson, D P Sanders, P Seymour, R Thomas