Romijn, J.M., Smith, G.P. und van de Pol, J.C. (Hrsg.) (2005) „Integrated Formal Methods : 5 th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings“, Programming and Software Engineering. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11589976.
Chicago Manual of Style 17th edition (full note)Romijn, Judi M.T, Graeme P Smith, und Jaco C van de Pol, Hrsg. „Integrated Formal Methods : 5 th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?]. https://doi.org/10.1007/11589976.
American Psychological Association 7th editionRomijn, J. M., Smith, G. P., … van de Pol, J. C. (Hrsg.). (ca. 2005). Integrated Formal Methods : 5 th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2005). Springer Berlin Heidelberg. https://doi.org/10.1007/11589976
Modern Language Association 9th editionRomijn, J. M., G. P. Smith, und J. C. van de Pol, Herausgeber. „Integrated Formal Methods : 5 th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings“. Programming and Software Engineering, 1 st ed. 2005, cd, Springer Berlin Heidelberg, 2005, https://doi.org/10.1007/11589976.
ISO-690 (author-date, Deutsch)ROMIJN, Judi M.T, Graeme P SMITH und Jaco C VAN DE POL (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540322405