You are about to access our book library "Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers (Informatik-Fachberichte, 116) full version" .