(en) Georges Gonthier, « Formal Proof—The Four-Color Theorem », Notices of the AMS, , p. 12 (lire en ligne [PDF])
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).