Essential discrete mathematics for computer science - Feil, Todd, 1951- (Prentice Hall, 2003)