queue ADTs specified