You are about to access our book library "Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... (Lecture Notes in Computer Science, 1130) full version"
.