APT, Krzysztof R, DE BOER, Frank S und OLDEROG, Ernst-Rüdiger, 2009. Verification of Sequential and Concurrent Programs. 3 rd ed. 2009. London: Springer London. ISBN 9781848827455.
Elsevier - Harvard (with titles)Apt, K.R., de Boer, F.S., Olderog, E.-R., 2009. Verification of Sequential and Concurrent Programs, 3 rd ed. 2009. ed, Texts in Computer Science. Springer London, London. 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
Springer - Basic (author-date)Apt KR, de Boer FS, Olderog E-R (2009) Verification of Sequential and Concurrent Programs, 3 rd ed. 2009. Springer London, London
Juristische Zitierweise (Stüber) (Deutsch)Apt, Krzysztof R/ de Boer, Frank S/ Olderog, Ernst-Rüdiger, Verification of Sequential and Concurrent Programs, 3 rd ed. 2009 , London 2009.