https://aofa.cs.princeton.edu/20recurrence/
chapter focuses on the underlying mathematical aspects of various forms of recurrence relations, which are typically encountered while studying an algorithm by translating a recursive representation of a programme to a recursive representation of a function characterising its attributes.