Abstraction, refinement and proof for probabilistic systemsAnnabelle McIver, Charles C. Morgan · First published 2004Open the Tome
