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