“An abstract data type is realized by writing a special kind of program . . . which defines the type in terms of the operations which can be performed on it.”

—Barbara Liskov, Programming with Abstract Data Types