Workshop on Specification of Abstract Data Types (9th 1992 Caldes de Malavella, Spain)