Citazione Stile APA (7a Edizione)
Annabelle McIver, C. M. Abstraction, Refinement and Proof for Probabilistic Systems. Springer.
Citazione stile Chigago Style (17a edizione)
Annabelle McIver, Carroll Morgan. Abstraction, Refinement and Proof for Probabilistic Systems. Nueva York, EUA: Springer.
Citatione MLA (9a ed.)
Annabelle McIver, Carroll Morgan. Abstraction, Refinement and Proof for Probabilistic Systems. Springer.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.