APA
                    Kenji Suzuki T. H. K. Y. K. E., . (2008). Formal Techniques for Networked and Distributed Systems – FORTE 2008. Germany: Springer.
                
                    Chicago
                    Kenji Suzuki Teruo Higashino Keiichi Yasumoto Khaled El-Fakih, . 2008. Formal Techniques for Networked and Distributed Systems – FORTE 2008. Germany: Springer.
                
                    Harvard
                    Kenji Suzuki T. H. K. Y. K. E., . (2008). Formal Techniques for Networked and Distributed Systems – FORTE 2008. Germany: Springer.
                
                    MLA
                    Kenji Suzuki Teruo Higashino Keiichi Yasumoto Khaled El-Fakih, . Formal Techniques for Networked and Distributed Systems – FORTE 2008. Germany: Springer. 2008.