Abstract data type in computer science.