stack adt for stack property