Bonsangue, M.M. und Johnsen, E.B. (Hrsg.) (2007) „Formal Methods for Open Object-Based Distributed Systems : 9 th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings“, Programming and Software Engineering. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-72952-5.

Bonsangue, Marcello M, und Einar Broch Johnsen, Hrsg. „Formal Methods for Open Object-Based Distributed Systems : 9 th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings“. 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-72952-5.

Bonsangue, M. M., … Johnsen, E. B. (Hrsg.). (ca. 2007). Formal Methods for Open Object-Based Distributed Systems : 9 th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-72952-5

Bonsangue, M. M., und E. B. Johnsen, Herausgeber. „Formal Methods for Open Object-Based Distributed Systems : 9 th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings“. Programming and Software Engineering, 1 st ed. 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-72952-5.

BONSANGUE, Marcello M und Einar Broch JOHNSEN (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540729525