Handbook of mathematical induction : Theory and applications - Gunderson, David S. (Boca Raton CRC, 2010)