1. Appel, K., Haken, W.: The solution of the Four-Color map problem, Sci. Am., 237(4), 108–121 (Oct. 1977)
2. Appel, K., Haken, W.: Every planar map is four Colorable. Part I. Discharging. Ill. J. Math. 21, 429–490 (1977)
3. Appel, K., Haken, W., Koch, J.: Every planar map is four Colorable. Part II. Reducibility. Ill. J. Math. 21, 491–567 (1977)
4. Appel, K., Haken, W.: Every Planar Map Is Four Colorable. American Mathematical Society, Providence (1989)
5. Birkhoff, G.D.: The reducibility of maps. Am. J. Math. 35, 114–128 (1913)