Describir: Planar graphs: theory and algorithms