Discrete mathematics : proofs, structures, and applications - Garnier, Rowan (Boca Raton CRC, 2010)