抽象数据类型的表示与实现.