Every plane graph of maximum degree 8 has an edge-face 9-colouring - Ross J. Kang; Jean-Sébastien Sereni; Matěj Stehlík (2009)