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