Every planar map is four colorable (1977)

by K I Appel, W Haken
Venue:Illinois J. Math