Proofs that really count : the art of combinatorial proof - Benjamin, Arthur (Mathematical Association of America, 2003)