Title: Recent Trends in Data Type Specification
Subjects: Congresses, Abstract data types (Computer science)