Abstraction, Refinement and Proof for Probabilistic SystemsAnnabelle McIver, Charles Carroll Morgan₹1,900
