Describir: Algorithmic graph theory /