Planar graphs theory and algorithms (North-Holland, 1988)
Includes index