Abstraction, Refinement and Proof for Probabilistic Systems - McIver, Annabelle; Morgan, Carroll; SpringerLink (Online service) (New York, NY : Springer Science+Business Media, Inc., 2005)
Keywords: Engineering mathematics; Probabilities; Systems engineering; Computer Science; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages