Larsen, K.G. und Skou, A. (1992) „Computer Aided Verification : 3 rd International Workshop, CAV ’91 Aalborg, Denmark, July 1–4, 1991 Proceedings“, Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 575). doi:10.1007/3-540-55179-4.
Chicago Manual of Style 17th edition (full note)Larsen, Kim Guldstrand, und Arne Skou. „Computer Aided Verification : 3 rd International Workshop, CAV ’91 Aalborg, Denmark, July 1–4, 1991 Proceedings“. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 575. Berlin, Heidelberg: Springer-Verlag, [1992?], Berlin, Heidelberg: Springer-Verlag, [1992?]. https://doi.org/10.1007/3-540-55179-4.
American Psychological Association 7th editionLarsen, K. G., & Skou, A. (ca. 1992). Computer Aided Verification : 3 rd International Workshop, CAV ’91 Aalborg, Denmark, July 1–4, 1991 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-55179-4
Modern Language Association 9th editionLarsen, K. G., und A. Skou. „Computer Aided Verification : 3 rd International Workshop, CAV ’91 Aalborg, Denmark, July 1–4, 1991 Proceedings“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1992, https://doi.org/10.1007/3-540-55179-4.
ISO-690 (author-date, Deutsch)LARSEN, Kim Guldstrand und Arne SKOU, 1992. Computer Aided Verification : 3 rd International Workshop, CAV ’91 Aalborg, Denmark, July 1–4, 1991 Proceedings. [cd]. 1992. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 575. ISBN 9783540467632