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