Meyer, B. und Gurevich, Y. (Hrsg.) (2007) „Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers“, Programming and Software Engineering. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-73770-4.
Chicago Manual of Style 17th edition (full note)Meyer, Bertrand, und Yuri Gurevich, Hrsg. „Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?]. https://doi.org/10.1007/978-3-540-73770-4.
American Psychological Association 7th editionMeyer, B., … Gurevich, Y. (Hrsg.). (ca. 2007). Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers [Cd]. In Programming and Software Engineering (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-73770-4
Modern Language Association 9th editionMeyer, B., und Y. Gurevich, Herausgeber. „Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers“. Programming and Software Engineering, 1 st ed. 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-73770-4.
ISO-690 (author-date, Deutsch)MEYER, Bertrand und Yuri GUREVICH (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540737704