Misra, J., Nipkow, T. und Sekerinski, E. (Hrsg.) (2006) „FM 2006: Formal Methods : 14 th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings“, Programming and Software Engineering. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11813040.
Chicago Manual of Style 17th edition (full note)Misra, Jayadev, Tobias Nipkow, und Emil Sekerinski, Hrsg. „FM 2006: Formal Methods : 14 th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?]. https://doi.org/10.1007/11813040.
American Psychological Association 7th editionMisra, J., Nipkow, T., … Sekerinski, E. (Hrsg.). (ca. 2006). FM 2006: Formal Methods : 14 th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11813040
Modern Language Association 9th editionMisra, J., T. Nipkow, und E. Sekerinski, Herausgeber. „FM 2006: Formal Methods : 14 th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings“. Programming and Software Engineering, 1 st ed. 2006, cd, Springer Berlin Heidelberg, 2006, https://doi.org/10.1007/11813040.
ISO-690 (author-date, Deutsch)MISRA, Jayadev, Tobias NIPKOW und Emil SEKERINSKI (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540372165