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