Planar graphs theory and algorithms (North-Holland mathematics studies, 1988)