Text this: Induction, recursion, and programming /