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