Four-coolor problem: Assaults and conquest - Saaty, Thomas L (New YOrk McGraw-Hill, 1977)