Algorithms, Recursion and Induction: Euclid and Fibonacci