The solution of the four-color-map problem - Appel, K; Haken, W (Scientific American, 1977)