The four-color problem : assaults and conquest - Saaty, Thomas L. (McGraw-Hill International Book Co., 1977)