de Boer, F.S., Bonsangue, M.M., Graf, S. und de Roever, W.-P. (Hrsg.) (2007) „Formal Methods for Components and Objects : 5 th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures“, Programming and Software Engineering. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-74792-5.

de Boer, Frank S, Marcello M Bonsangue, Susanne Graf, und Willem-Paul de Roever, Hrsg. „Formal Methods for Components and Objects : 5 th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures“. 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-74792-5.

de Boer, F. S., Bonsangue, M. M., Graf, S., … de Roever, W.-P. (Hrsg.). (ca. 2007). Formal Methods for Components and Objects : 5 th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures [Cd]. In Programming and Software Engineering (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-74792-5

de Boer, F. S., M. M. Bonsangue, S. Graf, und W.-P. de Roever, Herausgeber. „Formal Methods for Components and Objects : 5 th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures“. Programming and Software Engineering, 1 st ed. 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-74792-5.

DE BOER, Frank S, Marcello M BONSANGUE, Susanne GRAF und Willem-Paul DE ROEVER (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540747925