Graph-theoretic concepts in computer science (Springer-Verlag)