Every planar map is four colourable, part II: Reducibility (1977)

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