The four-color problem Assaults and conquest - Saaty, Thomas L.; Kainen, Paul C. (Dover Publ., 1986)