Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver
Researchers, computer scientists, and advanced undergraduates and graduates studying programming or probabilistic systems will find the work an authoritative and essential resource text.