Describir: Graph-Theoretic Concepts in Computer Science