An ADT specification, however, is a mathematical model, and must rely on wellunderstood mathematical techniques.

• 然而，一个ADT规格就是一个数学模型，并且必须依赖于简单易懂的数学技术。