APA
                    George Eleftherakis M. H. M. H., . (2012). Software Engineering and Formal Methods. Germany: Springer.
                
                    Chicago
                    George Eleftherakis Mike Hinchey Mike Holcombe, . 2012. Software Engineering and Formal Methods. Germany: Springer.
                
                    Harvard
                    George Eleftherakis M. H. M. H., . (2012). Software Engineering and Formal Methods. Germany: Springer.
                
                    MLA
                    George Eleftherakis Mike Hinchey Mike Holcombe, . Software Engineering and Formal Methods. Germany: Springer. 2012.