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