You are about to access our book library "Recent trends in data type specification: 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, ... papers (Lecture notes in computer science) full version"
.