What is the fine-grained topic of the following text: Then, we look at the (first order) algebraic specification of abstract data types, and we explore the trade-offs between the traditional implementation of abstract data types by employing modules and the object-oriented approach employing classes. Only return the topic.
Comparison of traditional and object-oriented implementation of abstract data types