APA
                    John Derrick J. V., . (2007). Formal Techniques for Networked and Distributed Systems – FORTE 2007. Germany: Springer.
                
                    Chicago
                    John Derrick Jüri Vain, . 2007. Formal Techniques for Networked and Distributed Systems – FORTE 2007. Germany: Springer.
                
                    Harvard
                    John Derrick J. V., . (2007). Formal Techniques for Networked and Distributed Systems – FORTE 2007. Germany: Springer.
                
                    MLA
                    John Derrick Jüri Vain, . Formal Techniques for Networked and Distributed Systems – FORTE 2007. Germany: Springer. 2007.