Four colors suffice - Wilson, Robin (Univ. Press, 2002)