Brooks' Vertex-Colouring Theorem in Linear Time. - Bradley Baetz; David R. Wood (CoRR, 2014)