“...Workshop on Specification of Abstract Data Types S. Margherita, Itálie)...”