Every planar map is four colorable / - Appel, Kenneth I. (American Mathematical Society, 1989)