Four -color problem. - Saaty Thomos L; Kainen Paul C (1977)