(See The Art of Computer Programming by Donald Knuth for more details) Imperative-style definitions of ADT often depend on the concept of an abstract variable, which may be regarded as the simplest non-trivial ADT.
(Дивіться Мистецтво програмування Дональда Кнута для отримання більш докладної інформації) Визначення імперативного стилю АТД часто залежать від поняття абстрактної змінної, яку можна розглядати, як найпростіший нетривіальний АТД.