On Algebraic Specification and Its Semanteme
代数规范描述及其语义的研究

In this paper. the theories and the concepts of algebraic specification and its semanteme for specification abstract data type are presented. The semantic basis and semantic meaning of algebraic specification are discussed. In the last part of this paper, some examples of modeling abstract data type defined accurately are given.