抽象数据类型的代数规格说明

• Algebraic Specification of Abstract Data Types