Every planar map is four colorable (1989)

by K Appel, W Haken
Venue:Contemporary Mathematics