Apt, K.R., de Boer, F.S. und Olderog, E.-R. (2009) Verification of Sequential and Concurrent Programs [cd]. 3 rd ed. 2009, Texts in Computer Science. 3 rd ed. 2009. London: Springer London. doi:10.1007/978-1-84882-745-5.
Chicago Manual of Style 17th edition (full note)Apt, Krzysztof R, Frank S de Boer, und Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. Cd. Texts in Computer Science. 3 rd ed. 2009. London: Springer London, [2009?], London: Springer London, [2009?]. https://doi.org/10.1007/978-1-84882-745-5.
American Psychological Association 7th editionApt, K. R., de Boer, F. S., & Olderog, E.-R. (ca. 2009). Verification of Sequential and Concurrent Programs [Cd]. In Texts in Computer Science (3 rd ed. 2009). Springer London. https://doi.org/10.1007/978-1-84882-745-5
Modern Language Association 9th editionApt, K. R., F. S. de Boer, und E.-R. Olderog. „Verification of Sequential and Concurrent Programs“. Texts in Computer Science, 3 rd ed. 2009, cd, Springer London, 2009, https://doi.org/10.1007/978-1-84882-745-5.
ISO-690 (author-date, Deutsch)APT, Krzysztof R, Frank S DE BOER und Ernst-Rüdiger OLDEROG, 2009. Verification of Sequential and Concurrent Programs. 3 rd ed. 2009. London: Springer London. ISBN 9781848827455