(en) Georges Gonthier, « Formal Proof—The Four-Color Theorem », Notices of the AMS, , p. 12 (lire en ligne [PDF])
nature.com
(en) S. M. De Backer, « The Four-Colour Problem », Nature, vol. 153, (lire en ligne)
projecteuclid.org
(en) Kenneth Appel et Wolfgang Haken, « Every planar map is four colorable, Part I: Discharging », Illinois J. Math., vol. 21, , p. 429-490 (lire en ligne).