Graph coloring problems - Jensen, Tommy R. (John Wiley & Sons, 1995)