Szekeres Dániel; Majzik István: Towards abstraction-based probabilistic program analysis. In: Acta cybernetica, (26) 3. pp. 671-711. (2024)