Abstraction, refinement and proof for probabilistic systems by McIver, Annabelle, Morgan, C. Carroll fromMonographs in Computer Science 0 Type: Book
