Gaya APA

McIver, A., Morgan, C, C. (2005). Abstraction, Refinement and Proof for Probabilistic Systems (1st ed.). New York, NY: Springer.

Gaya MLA

McIver, Annabelle.., Morgan, Charles, Carroll.. "Abstraction, Refinement and Proof for Probabilistic Systems". 1st ed. New York, NY: Springer, 2005. E Book.