The four-color problem, Mathematics Today - Twelve Informal Essays (1978)

by K Appel, W Haken