Handbook of Mathematical Induction by David S. Gunderson