Lee, D., Lopes, A. und Poetzsch-Heffter, A. (Hrsg.) (2009) „Formal Techniques for Distributed Systems : Joint 11 th IFIP WG 6.1 International Conference FMOODS 2009 and 29 th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings“, Programming and Software Engineering. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-02138-1.

Lee, David, Antonia Lopes, und Arnd Poetzsch-Heffter, Hrsg. „Formal Techniques for Distributed Systems : Joint 11 th IFIP WG 6.1 International Conference FMOODS 2009 and 29 th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings“. 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-02138-1.

Lee, D., Lopes, A., … Poetzsch-Heffter, A. (Hrsg.). (ca. 2009). Formal Techniques for Distributed Systems : Joint 11 th IFIP WG 6.1 International Conference FMOODS 2009 and 29 th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-02138-1

Lee, D., A. Lopes, und A. Poetzsch-Heffter, Herausgeber. „Formal Techniques for Distributed Systems : Joint 11 th IFIP WG 6.1 International Conference FMOODS 2009 and 29 th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings“. Programming and Software Engineering, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-02138-1.

LEE, David, Antonia LOPES und Arnd POETZSCH-HEFFTER (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642021381