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