1. Jason Breck , John Cyphert , Zachary Kincaid , and Thomas Reps . 2020 . Templates and Recurrences: Better Together . In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020). Association for Computing Machinery, New York, NY, USA. 688–702. isbn:9781450376136 Jason Breck, John Cyphert, Zachary Kincaid, and Thomas Reps. 2020. Templates and Recurrences: Better Together. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020). Association for Computing Machinery, New York, NY, USA. 688–702. isbn:9781450376136
2. Non-polynomial worst-case analysis of recursive programs;Chatterjee Krishnendu;ACM Transactions on Programming Languages and Systems,2019
3. Michael A Colón , Sriram Sankaranarayanan , and Henny B Sipma . 2003 . Linear invariant generation using non-linear constraint solving . In Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings 15 . 420–432. Michael A Colón, Sriram Sankaranarayanan, and Henny B Sipma. 2003. Linear invariant generation using non-linear constraint solving. In Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings 15. 420–432.
4. 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.
5. Scott A Crosby and Dan S Wallach . 2003 . Denial of Service via Algorithmic Complexity Attacks .. In USENIX Security Symposium. 29–44 . Scott A Crosby and Dan S Wallach. 2003. Denial of Service via Algorithmic Complexity Attacks.. In USENIX Security Symposium. 29–44.