You are about to access our book library "Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers full version" .