Formalized probability theory and applications using theorem proving - Hasan, Osman, 1975- (Information Science Reference, an imprint of IGI Global, 2015)