Los procedimientos recursivos tienen 3 propiedades: 1) una definición recursiva donde el procedimiento se usa en su propia definición, 2) al menos un caso base que no usa recursividad, y 3) una definición que reduce cualquier caso al caso base. La serie de Fibonacci define cada elemento como la suma de los dos anteriores, con 0 y 1 como los primeros dos elementos. La definición recursiva de Fibonacci(n) es la suma de Fibonacci(n-1) y Fibonacci(n-2), con Fibonacci(1)=0 y Fibonacci(2)=1 como casos base.