Source: https://web.csulb.edu/~tebert/teaching/lectures/228/recursion/recursion-annotated.pdf