The four colour theorem (1990)

by N Robertson, D Sanders, P Seymour, R Thomas
Venue:J. Combin. Theory Ser. B