Abstract data types

A mathematical model for data types, defining behavior from the point of view of a user of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations.