The Four Color Theorem. - Thomas, Joseph Miller (Thomas: Systems and roots. Suppl., 1969)