DISCRETE MATHEMATICS FOR COMPUTER SCIENTISTS - JOHN TRUSS (ADDISON WESLEY, 2000)