Wolper, P. (1995) „Computer Aided Verification : 7 th International Conference, CAV ’95 Liège, Belgium, July 3–5, 1995 Proceedings“, Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 939). doi:10.1007/3-540-60045-0.
Chicago Manual of Style 17th edition (full note)Wolper, Pierre. „Computer Aided Verification : 7 th International Conference, CAV ’95 Liège, Belgium, July 3–5, 1995 Proceedings“. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 939. Berlin, Heidelberg: Springer-Verlag, [1995?], Berlin, Heidelberg: Springer-Verlag, [1995?]. https://doi.org/10.1007/3-540-60045-0.
American Psychological Association 7th editionWolper, P. (ca. 1995). Computer Aided Verification : 7 th International Conference, CAV ’95 Liège, Belgium, July 3–5, 1995 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-60045-0
Modern Language Association 9th editionWolper, P. „Computer Aided Verification : 7 th International Conference, CAV ’95 Liège, Belgium, July 3–5, 1995 Proceedings“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1995, https://doi.org/10.1007/3-540-60045-0.
ISO-690 (author-date, Deutsch)WOLPER, Pierre, 1995. Computer Aided Verification : 7 th International Conference, CAV ’95 Liège, Belgium, July 3–5, 1995 Proceedings. [cd]. 1995. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 939. ISBN 9783540494133