APA
                    David Lee A. L. A. P., . (2009). Formal Techniques for Distributed Systems. Germany: Springer.
                
                    Chicago
                    David Lee Antónia Lopes Arnd Poetzsch-Heffter, . 2009. Formal Techniques for Distributed Systems. Germany: Springer.
                
                    Harvard
                    David Lee A. L. A. P., . (2009). Formal Techniques for Distributed Systems. Germany: Springer.
                
                    MLA
                    David Lee Antónia Lopes Arnd Poetzsch-Heffter, . Formal Techniques for Distributed Systems. Germany: Springer. 2009.