The Art of Proving Binomial Identities - Michael Z. Spivey (Taylor and Francis, 2019)