Discrete Mathematical Structures for Computer Science - Kolman, Bernard. (Prentice-Hall, 1984)