L. Système and C. , A computer-checked proof of the Four Color Theorem. Disponible sur http
. Hales and . Hales, divers articles et documents sur http