Graph theoretic models in computer science (Pergamon Press, 1993)