Treharne, H., King, S., Henson, M. und Schneider, S. (Hrsg.) (2005) „ZB 2005: Formal Specification and Development in Z and B : 4 th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings“, Programming and Software Engineering. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/b135596.
Chicago Manual of Style 17th edition (full note)Treharne, Helen, Steve King, Martin Henson, und Steve Schneider, Hrsg. „ZB 2005: Formal Specification and Development in Z and B : 4 th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?]. https://doi.org/10.1007/b135596.
American Psychological Association 7th editionTreharne, H., King, S., Henson, M., … Schneider, S. (Hrsg.). (ca. 2005). ZB 2005: Formal Specification and Development in Z and B : 4 th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2005). Springer Berlin Heidelberg. https://doi.org/10.1007/b135596
Modern Language Association 9th editionTreharne, H., S. King, M. Henson, und S. Schneider, Herausgeber. „ZB 2005: Formal Specification and Development in Z and B : 4 th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings“. Programming and Software Engineering, 1 st ed. 2005, cd, Springer Berlin Heidelberg, 2005, https://doi.org/10.1007/b135596.
ISO-690 (author-date, Deutsch)TREHARNE, Helen, Steve KING, Martin HENSON und Steve SCHNEIDER (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540320074