Graph colouring and the probabilistic method - Molloy, Michael; Reed, Bruce (Algorithms and combinatorics, 2002)