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