Leuschel, M. und Wehrheim, H. (Hrsg.) (2009) „Integrated Formal Methods : 7 th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings“, Programming and Software Engineering. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-00255-7.
Chicago Manual of Style 17th edition (full note)Leuschel, Michael, und Heike Wehrheim, Hrsg. „Integrated Formal Methods : 7 th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-642-00255-7.
American Psychological Association 7th editionLeuschel, M., … Wehrheim, H. (Hrsg.). (ca. 2009). Integrated Formal Methods : 7 th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-00255-7
Modern Language Association 9th editionLeuschel, M., und H. Wehrheim, Herausgeber. „Integrated Formal Methods : 7 th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings“. Programming and Software Engineering, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-00255-7.
ISO-690 (author-date, Deutsch)LEUSCHEL, Michael und Heike WEHRHEIM (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642002557