The four-color problem: assaults and conquest - Kainen, Paul C. (McGraw-Hill, 1977)