Davies, J. und Gibbons, J. (Hrsg.) (2007) „Integrated Formal Methods : 6 th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings“, Programming and Software Engineering. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-73210-5.
Chicago Manual of Style 17th edition (full note)Davies, Jim, und Jeremy Gibbons, Hrsg. „Integrated Formal Methods : 6 th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings“. 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-73210-5.
American Psychological Association 7th editionDavies, J., … Gibbons, J. (Hrsg.). (ca. 2007). Integrated Formal Methods : 6 th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-73210-5
Modern Language Association 9th editionDavies, J., und J. Gibbons, Herausgeber. „Integrated Formal Methods : 6 th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings“. Programming and Software Engineering, 1 st ed. 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-73210-5.
ISO-690 (author-date, Deutsch)DAVIES, Jim und Jeremy GIBBONS (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540732105