Source: https://people.cs.umass.edu/~moss/187/lectures/lecture-h-recursion.pdf