Abstract Data Type: the concept