sur 20
Abstraction, Refinement and Proof for Probabilistic Systems — Annabelle McIver, Charles Carroll Morgan