The four-colour problem: assaults and conquest - Saaty, Thomas L; Kainen, Paul C (McGraw-Hill, 1977)