Gunderson, David S. Handbook of mathematical induction : Theory and applications / by David S. Gunderson - Boca Raton CRC 2010 - 893p.