A Kleene algebra with tests for union bound reasoning about probabilistic programs - Gomes, Leandro; Baillot, Patrick; Gaboardi, Marco; Leandro Gomes and Patrick Baillot and Marco Gaboardi (2025)