Planar graphs: theory and algorithms. - North-Holland Publishing Comp., 1988. - ( Annals of Discrete Mathematics ; 32).