Abrial, J.-R. und Glässer, U. (Hrsg.) (2009) Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60 th Birthday [cd]. 1 st ed. 2009, Theoretical Computer Science and General Issues. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-11447-2.
Chicago Manual of Style 17th edition (full note)Abrial, Jean-Raymond, und Uwe Glässer, Hrsg. Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60 th Birthday. Cd. Theoretical Computer Science and General Issues. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-642-11447-2.
American Psychological Association 7th editionRigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60 th Birthday. (ca. 2009). [Cd]. In J.-R. Abrial & U. Glässer (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-11447-2
Modern Language Association 9th editionAbrial, J.-R., und U. Glässer, Herausgeber. „Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60 th Birthday“. Theoretical Computer Science and General Issues, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-11447-2.
ISO-690 (author-date, Deutsch)ABRIAL, Jean-Raymond und Uwe GLÄSSER (Hrsg.). 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642114472