"Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)" - читать интересную книгу автора (Annabelle McIver, Charles Carroll Morgan)