Discrete mathematical structures for computer science - Kolman Bernard; Busby Robert C. (Prentice Hall, 1987)