Leue, S. und Merino, P. (Hrsg.) (2008) „Formal Methods for Industrial Critical Systems : 12 th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers“, Programming and Software Engineering. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-79707-4.
Chicago Manual of Style 17th edition (full note)Leue, Stefan, und Pedro Merino, Hrsg. „Formal Methods for Industrial Critical Systems : 12 th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-79707-4.
American Psychological Association 7th editionLeue, S., … Merino, P. (Hrsg.). (ca. 2008). Formal Methods for Industrial Critical Systems : 12 th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-79707-4
Modern Language Association 9th editionLeue, S., und P. Merino, Herausgeber. „Formal Methods for Industrial Critical Systems : 12 th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers“. Programming and Software Engineering, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-79707-4.
ISO-690 (author-date, Deutsch)LEUE, Stefan und Pedro MERINO (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540797074