Handbook of mathematical induction : theory and applications - Gunderson, David S., (CRC Press, Taylor & Francis Group, 2010)