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