The four color proof suffices. The Mathematical Intelligencer 8(1):10–20 (1986)

by K Appel, W Haken