Introduction to graph theory (Upper Saddle River, NJ : Prentice Hall, 1996)