1. 2022. Data for Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects. https://zenodo.org/record/6548310##.Yn-DBOhByUk 2022. Data for Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects. https://zenodo.org/record/6548310##.Yn-DBOhByUk
2. 2022. Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects. https://sites.google.com/view/non-termbug/home 2022. Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects. https://sites.google.com/view/non-termbug/home
3. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
4. Christophe Alias , Alain Darte , Paul Feautrier , and Laure Gonnord . 2010. Multi-dimensional Rankings, Program Termination , and Complexity Bounds of Flowchart Programs . In Static Analysis , Radhia Cousot and Matthieu Martel (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 117–133. isbn:978-3-642-15769-1 Christophe Alias, Alain Darte, Paul Feautrier, and Laure Gonnord. 2010. Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. In Static Analysis, Radhia Cousot and Matthieu Martel (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 117–133. isbn:978-3-642-15769-1