Every planar map is four colorable Part II: reducibility (1977)

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