D. Szekeres and I. Majzik, “Towards Abstraction-based Probabilistic Program Analysis”, Acta Cybern, Jun. 2023.