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