Discrete Mathematical Structures for Computer Science - KOLMAN, Bernard (Prentice Hall, 1987)