Recent Trends in Data Type Specifications: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers (Informatik-Fachberichte,)