abstract data type (Q827335)
mathematical model for data types
Language: