Srivas, M. und Camilleri, A. (1996) „Formal Methods in Computer-Aided Design : First International Conference, FMCAD ’96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings“, Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 1166). doi:10.1007/BFb0031795.
Chicago Manual of Style 17th edition (full note)Srivas, Mandayam, und Albert Camilleri. „Formal Methods in Computer-Aided Design : First International Conference, FMCAD ’96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings“. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 1166. Berlin, Heidelberg: Springer-Verlag, [1996?], Berlin, Heidelberg: Springer-Verlag, [1996?]. https://doi.org/10.1007/BFb0031795.
American Psychological Association 7th editionSrivas, M., & Camilleri, A. (ca. 1996). Formal Methods in Computer-Aided Design : First International Conference, FMCAD ’96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/BFb0031795
Modern Language Association 9th editionSrivas, M., und A. Camilleri. „Formal Methods in Computer-Aided Design : First International Conference, FMCAD ’96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1996, https://doi.org/10.1007/BFb0031795.
ISO-690 (author-date, Deutsch)SRIVAS, Mandayam und Albert CAMILLERI, 1996. Formal Methods in Computer-Aided Design : First International Conference, FMCAD ’96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings. [cd]. 1996. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 1166. ISBN 9783540495673