The four color proof suffices (1986)

by K Appel, W Haken
Venue:Math. Intelligencer