Every planar map is four colorable (1977)

by K Appel, W Haken, J Koch
Venue:Illinois Journal of Mathematics