1. Paulette Lieby, Colouring planar graphs, Discovering Mathematics with Magma, Algorithms Comput. Math., vol. 19, Springer, Berlin, 2006, pp. 315–330.[MR]