abstract data type

The best courses for "mathematical model for data types", abstract data type.