Discrete mathematical structures for computer science - Kolman Bernard (P H I, 1988)