Dubois, et al.. Tests and Proofs for Enumerative Combinatorics. Springer International Publishing, 2016, doi:10.1007/978-3-319-41135-4_4.