Induction, Recursion and Programming