APA
                    Donald Sannella A. T., . (2012). Foundations of Algebraic Specification and Formal Software Development. Germany: Springer.
                
                    Chicago
                    Donald Sannella Andrzej Tarlecki, . 2012. Foundations of Algebraic Specification and Formal Software Development. Germany: Springer.
                
                    Harvard
                    Donald Sannella A. T., . (2012). Foundations of Algebraic Specification and Formal Software Development. Germany: Springer.
                
                    MLA
                    Donald Sannella Andrzej Tarlecki, . Foundations of Algebraic Specification and Formal Software Development. Germany: Springer. 2012.