Author: Workshop on Specification of Abstract Data Types (8th 1991 Dourdan, France)