The study of specification for abstract datatype (ADT) is important in the development ofobject-oriented software and in program verification.

• 研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。