Bochmann, G. und Probst, D.K. (1993) „Computer Aided Verification : Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings“, Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 663). doi:10.1007/3-540-56496-9.
Chicago Manual of Style 17th edition (full note)Bochmann, Gregor, und David Karl Probst. „Computer Aided Verification : Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings“. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 663. Berlin, Heidelberg: Springer-Verlag, [1993?], Berlin, Heidelberg: Springer-Verlag, [1993?]. https://doi.org/10.1007/3-540-56496-9.
American Psychological Association 7th editionBochmann, G., & Probst, D. K. (ca. 1993). Computer Aided Verification : Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-56496-9
Modern Language Association 9th editionBochmann, G., und D. K. Probst. „Computer Aided Verification : Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1993, https://doi.org/10.1007/3-540-56496-9.
ISO-690 (author-date, Deutsch)BOCHMANN, Gregor und David Karl PROBST, 1993. Computer Aided Verification : Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings. [cd]. 1993. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 663. ISBN 9783540475729