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