Title: Recent trends in data type specification
Subjects: Congresses, Data structures (Computer science), Abstract data types (Computer science)