Graph theory with applications to algorithms and computer science (Wiley, 1985)