Discrete mathematical structures for computer science - Kolman (Prentice Hall, 1992)