1. Templates and recurrences: better together
2. Non-polynomial worst-case analysis of recursive programs;Chatterjee Krishnendu;ACM Transactions on Programming Languages and Systems,2019
3. Thomas H Cormen , Charles E Leiserson , Ronald L Rivest , and Clifford Stein . 2009. Introduction to algorithms . MIT press . Thomas H Cormen, Charles E Leiserson, Ronald L Rivest, and Clifford Stein. 2009. Introduction to algorithms. MIT press.
4. Sumit Gulwani . 2009 . SPEED: Symbolic Complexity Bound Analysis. In Computer Aided Verification . Springer-Verlag , 51--62. Sumit Gulwani. 2009. SPEED: Symbolic Complexity Bound Analysis. In Computer Aided Verification. Springer-Verlag, 51--62.