Every planar map is four colourable, part I: discharging (1977)

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