【软件构造】第三章第五节 ADT和OOP中的等价性