Ben-Ari, M. (2008) Principles of the Spin Model Checker [cd]. 1 st ed. 2008. London: Springer London. doi:10.1007/978-1-84628-770-1.
Chicago Manual of Style 17th edition (full note)Ben-Ari, Mordechai. Principles of the Spin Model Checker. Cd. 1 st ed. 2008. London: Springer London, [2008?], London: Springer London, [2008?]. https://doi.org/10.1007/978-1-84628-770-1.
American Psychological Association 7th editionBen-Ari, M. (ca. 2008). Principles of the Spin Model Checker (1 st ed. 2008) [Cd]. Springer London. https://doi.org/10.1007/978-1-84628-770-1
Modern Language Association 9th editionBen-Ari, M. Principles of the Spin Model Checker. 1 st ed. 2008, cd, Springer London, 2008, https://doi.org/10.1007/978-1-84628-770-1.
ISO-690 (author-date, Deutsch)BEN-ARI, Mordechai, 2008. Principles of the Spin Model Checker. 1 st ed. 2008. London: Springer London. ISBN 9781846287701