Το πρώτο μέρος της εργασίας των Appel και Haken, στην ιστοσελίδα του πανεπιστημίου του Illinois που εξηγεί και παρουσιάζει τα αρχικά αποτελέσματα, αποδεικνύοντας κάποια λήμματα και βασικά θεωρήματα, ενώ εν τέλει, εξηγεί πώς και γιατί χρησιμοποίησαν τον ηλεκτρονικό υπολογιστή για την απόδειξη του θεωρήματος.
http://projecteuclid.org/euclid.ijm/1256049011
http://projecteuclid.org/euclid.ijm/1256049011
