Relations and Graphs : Discrete Mathematics for Computer Scientists

This book explains how to use relational and graph-theoretic methods systematically in computer science. Results are first motivated by practical examples and then derived algebraically.