Papers tagged abstract data types