Szekeres, Dániel, and István Majzik. “Towards Abstraction-Based Probabilistic Program Analysis”. Acta Cybernetica00 (June 2, 2023). Accessed May 5, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4323.