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