DI Discrete mathematics : proofs, structures, and applications Garnier, Rowan. General Stack 511.1 GAR-R 2010 View