Szekeres, Dániel, and István Majzik. “Towards Abstraction-Based Probabilistic Program Analysis”. Acta Cybernetica 26, no. 3 (June 2, 2023): 671-711. Accessed September 1, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4323.