The four-color problem : assaults and conquest / (by) Thomas L. Saaty and Paul C. Kainen. - Saaty, Thomas L. (Thomas Lorie), 1926- (McGraw-Hill, 1977)