H. de Fraysseix and P. Ossona de Mendez, “Connectivity of Planar Graphs”, JGAA, vol. 5, no. 5, pp. 93–105, Jan. 2001.