Milne, G.J. und Pierre, L. (1993) „Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME’93 Arles France May 24–26, 1993 Proceedings“, Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 683). doi:10.1007/BFb0021709.
Chicago Manual of Style 17th edition (full note)Milne, George J, und Laurence Pierre. „Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME’93 Arles France May 24–26, 1993 Proceedings“. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 683. Berlin, Heidelberg: Springer-Verlag, [1993?], Berlin, Heidelberg: Springer-Verlag, [1993?]. https://doi.org/10.1007/BFb0021709.
American Psychological Association 7th editionMilne, G. J., & Pierre, L. (ca. 1993). Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME’93 Arles France May 24–26, 1993 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/BFb0021709
Modern Language Association 9th editionMilne, G. J., und L. Pierre. „Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME’93 Arles France May 24–26, 1993 Proceedings“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1993, https://doi.org/10.1007/BFb0021709.
ISO-690 (author-date, Deutsch)MILNE, George J und Laurence PIERRE, 1993. Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME’93 Arles France May 24–26, 1993 Proceedings. [cd]. 1993. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 683. ISBN 9783540706557