Statistical Reasoning About Programs. - Böhme, Marcel (2022)