Author: Workshop on Specification of Abstract Data Types (10th 1994 Santa Margherita, Italy)