Studying mathematical induction and recursive programming together. - Keith A. Brandt; Margaret Richey (J. Comput. Sci. Coll., 2004)