Title: A Generic Theory of Data Types
Subjects: Abstract data types (Computer science)