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