Bonsangue, M.M. und Madelaine, E. (Hrsg.) (2009) „Formal Methods for Components and Objects : 7 th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey“, Programming and Software Engineering. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-04167-9.

Bonsangue, Marcello M, und Eric Madelaine, Hrsg. „Formal Methods for Components and Objects : 7 th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-642-04167-9.

Bonsangue, M. M., … Madelaine, E. (Hrsg.). (ca. 2009). Formal Methods for Components and Objects : 7 th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey [Cd]. In Programming and Software Engineering (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-04167-9

Bonsangue, M. M., und E. Madelaine, Herausgeber. „Formal Methods for Components and Objects : 7 th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey“. Programming and Software Engineering, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-04167-9.

BONSANGUE, Marcello M und Eric MADELAINE (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642041679