Liang, J. Analysis of Recursive Algorithms: Algorithms. PAC 2023, 3.