Reasoning about probabilistic sequential programs - Luís Cruz-Filipe; R. Chadha; P. Mateus; A. Sernadas (2007)