Mc Iver, A. und Morgan, C.C. (2005) „Abstraction, Refinement and Proof for Probabilistic Systems“, Monographs in Computer Science. 1 st edition 2005. New York, NY: Springer New York. doi:10.1007/b138392.
Chicago Manual of Style 17th edition (full note)Mc Iver, Annabelle, und Charles Carroll Morgan. „Abstraction, Refinement and Proof for Probabilistic Systems“. Cd. Monographs in Computer Science. New York, NY: Springer New York, [2005?], New York, NY: Springer New York, [2005?]. https://doi.org/10.1007/b138392.
American Psychological Association 7th editionMc Iver, A., & Morgan, C. C. (ca. 2005). Abstraction, Refinement and Proof for Probabilistic Systems [Cd]. In Monographs in Computer Science (1 st edition 2005). Springer New York. https://doi.org/10.1007/b138392
Modern Language Association 9th editionMc Iver, A., und C. C. Morgan. „Abstraction, Refinement and Proof for Probabilistic Systems“. Monographs in Computer Science, 1 st edition 2005, cd, Springer New York, 2005, https://doi.org/10.1007/b138392.
ISO-690 (author-date, Deutsch)MCIVER, Annabelle und Charles Carroll MORGAN, 2005. Abstraction, Refinement and Proof for Probabilistic Systems. [cd]. 2005. 1 st edition 2005. New York, NY: Springer New York. ISBN 9780387270067