APA
                    Zhiming Liu J. H., . (2006). Formal Methods and Software Engineering. Germany: Springer.
                
                    Chicago
                    Zhiming Liu Jifeng He, . 2006. Formal Methods and Software Engineering. Germany: Springer.
                
                    Harvard
                    Zhiming Liu J. H., . (2006). Formal Methods and Software Engineering. Germany: Springer.
                
                    MLA
                    Zhiming Liu Jifeng He, . Formal Methods and Software Engineering. Germany: Springer. 2006.