Chatterjee, Krishnendu, Petr Novotný, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,”https://doi.org/10.1145/3009837.3009873__52:145–60. ACM, 2017.https://doi.org/10.1145/3009837.3009873 .