APA
                    Holger Hermanns J. P., . (2006). Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
                
                    Chicago
                    Holger Hermanns Jens Palsberg, . 2006. Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
                
                    Harvard
                    Holger Hermanns J. P., . (2006). Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
                
                    MLA
                    Holger Hermanns Jens Palsberg, . Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer. 2006.