Algebraic Specification of Abstract Data Types

This paper begins by presenting a new semantics of algebraic specification of abstract data types,It then proceeds to discuss the power of the algebraic method and prove that the partially-computable algebras can be specified by the method.Finally,it also shows that the sufficient-completeness,consistency and independency of algebraic specifications are all undecidable