A randomised 3-colouring algorithm. - A. D. Petford; D. J. A. Welsh (Discret. Math., 1989)