Discrete Mathematical Structures for Computer Science - Prather, Ronald E.