APA
                    Marcello M. Bonsangue E. B. J., . (2007). Formal Methods for Open Object-Based Distributed Systems. Germany: Springer.
                
                    Chicago
                    Marcello M. Bonsangue Einar Broch Johnsen, . 2007. Formal Methods for Open Object-Based Distributed Systems. Germany: Springer.
                
                    Harvard
                    Marcello M. Bonsangue E. B. J., . (2007). Formal Methods for Open Object-Based Distributed Systems. Germany: Springer.
                
                    MLA
                    Marcello M. Bonsangue Einar Broch Johnsen, . Formal Methods for Open Object-Based Distributed Systems. Germany: Springer. 2007.