The top documents tagged [abstraction adt]