Discrete mathematics proofs, structures and applications - Garnier, Rowan (Taylor and Francis, 2011)