Beckert, B., Hähnle, R. und Schmitt, P.H. (Hrsg.) (2007) Verification of Object-Oriented Software. The Ke Y Approach : Foreword by K. Rustan M. Leino [cd]. 1 st ed. 2007, Lecture Notes in Artificial Intelligence. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-69061-0.
Chicago Manual of Style 17th edition (full note)Beckert, Bernhard, Reiner Hähnle, und Peter H Schmitt, Hrsg. Verification of Object-Oriented Software. The Ke Y Approach : Foreword by K. Rustan M. Leino. Cd. Lecture Notes in Artificial Intelligence. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?]. https://doi.org/10.1007/978-3-540-69061-0.
American Psychological Association 7th editionVerification of Object-Oriented Software. The Ke Y Approach : Foreword by K. Rustan M. Leino. (ca. 2007). [Cd]. In B. Beckert, R. Hähnle, & P. H. Schmitt (Hrsg.), Lecture Notes in Artificial Intelligence (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-69061-0
Modern Language Association 9th editionBeckert, B., R. Hähnle, und P. H. Schmitt, Herausgeber. „Verification of Object-Oriented Software. The Ke Y Approach : Foreword by K. Rustan M. Leino“. Lecture Notes in Artificial Intelligence, 1 st ed. 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-69061-0.
ISO-690 (author-date, Deutsch)BECKERT, Bernhard, Reiner HÄHNLE und Peter H SCHMITT (Hrsg.). 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540690610