D. Szekeres and I. Majzik, “Towards Abstraction-based Probabilistic Program Analysis”, Acta Cybern, vol. 26, no. 3, pp. 671-711, Jun. 2023.