For our software we need not the ADTs themselves, a mathematical notion, but ADT implementations,a software notion.

• 对于我们的软件，我们不需要ADT本身，一个数学概念，而需要ADT实现，一个软件概念。